Add sci-mathematics/lingeling
[shuber-gentoo-overlay.git] / profiles / repo_name
2011-05-23 Stefan Hubergive overlay a name