gentoo-full-overlay/sci-mathematics/prover9
2017-03-01 14:58:55 +03:00
..
files Sync with portage [Wed Feb 8 10:16:18 MSK 2012]. 2012-02-08 10:16:21 +04:00
Manifest Sync with portage [Wed Mar 1 14:58:51 MSK 2017]. 2017-03-01 14:58:55 +03:00
metadata.xml Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 2016-01-26 08:51:40 +03:00
prover9-2009.11a.ebuild Sync with portage [Wed Mar 1 14:58:51 MSK 2017]. 2017-03-01 14:58:55 +03:00