gentoo-overlay/sci-mathematics/prover9
2019-05-03 15:19:00 +03:00
..
files Sync with portage [Wed Feb 8 10:13:09 MSK 2012]. 2012-02-08 10:13:10 +04:00
Manifest Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 2017-12-10 19:52:44 +03:00
metadata.xml Sync with portage [Mon Jan 25 16:13:37 MSK 2016]. 2016-01-25 16:13:40 +03:00
prover9-2009.11a.ebuild Sync with portage [Fri May 3 15:19:00 MSK 2019]. 2019-05-03 15:19:00 +03:00