git.sthu.org Git - shuber-gentoo-overlay.git/tree - sci-mathematics/lingeling/

]> git.sthu.org Git - shuber-gentoo-overlay.git/tree - sci-mathematics/lingeling/

projects / shuber-gentoo-overlay.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[shuber-gentoo-overlay.git] / sci-mathematics / lingeling /

drwxr-xr-x		..
-rw-r--r--	925	Manifest	blob \| history \| raw
-rw-r--r--	576	lingeling-1212013.ebuild	blob \| history \| raw
-rw-r--r--	243	metadata.xml	blob \| history \| raw

Stefan Huber's gentoo overlay.