sci-mathematics/minisat – Gentoo Packages

sci-mathematics/minisat-2.2.0-r4: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition
698566 - Assigned to Gentoo Science Related Packages
sci-mathematics/minisat-2.2.0-r4 is not honoring rules in template.mk to exclude Main.o* when creating libminisat.a
667976 - Assigned to Gentoo Science Related Packages

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: