]> git.sthu.org Git - shuber-gentoo-overlay.git/commit
Add sci-mathematics/lingeling
authorStefan Huber <shuber@sthu.org>
Thu, 12 Dec 2013 14:14:00 +0000 (15:14 +0100)
committerStefan Huber <shuber@sthu.org>
Thu, 12 Dec 2013 14:14:00 +0000 (15:14 +0100)
commita863192789bd0b66e42df9344abed4549c73dd67
tree4cbdb8fefd833f0bfac1f15de5cc4ab064bda0d4
parent885b9c437e68de5a02b4fdef3b2b4f70463e36b1
Add sci-mathematics/lingeling
sci-mathematics/lingeling/Manifest [new file with mode: 0644]
sci-mathematics/lingeling/lingeling-1212013.ebuild [new file with mode: 0644]