gentoo-overlay/sci-mathematics/coq
2021-04-07 10:03:42 +03:00
..
coq-8.11.2.ebuild Sync with portage [Wed Feb 10 13:32:50 MSK 2021]. 2021-02-10 13:32:50 +03:00
coq-8.12.0-r1.ebuild Sync with portage [Wed Apr 7 10:03:41 MSK 2021]. 2021-04-07 10:03:42 +03:00
coq-8.13.0.ebuild Sync with portage [Wed Apr 7 10:03:41 MSK 2021]. 2021-04-07 10:03:42 +03:00
Manifest Sync with portage [Sat Mar 13 19:02:01 MSK 2021]. 2021-03-13 19:02:01 +03:00
metadata.xml Sync with portage [Sat Mar 13 19:02:01 MSK 2021]. 2021-03-13 19:02:01 +03:00