Add sci-mathematics/boolector
[shuber-gentoo-overlay.git] / metadata / layout.conf
2013-09-12 Stefan HuberAdd metadata/layout.conf