Add sci-mathematics/lingeling
[shuber-gentoo-overlay.git] / Documentation /
2010-09-15 Stefan Huberadding bug report note