Add sci-mathematics/boolector
[shuber-gentoo-overlay.git] / app-misc / pycarddav /
2013-11-10 Stefan Huberadd pycarddav-0.5.1