Add sci-mathematics/boolector
[shuber-gentoo-overlay.git] / media-gfx / pdftoipe / pdftoipe-20110916-r2.ebuild
2012-08-09 Stefan HuberFix pdftoipe for poppler-0.20