gentoo-full-overlay/sci-mathematics/coq
2021-02-08 14:39:26 +03:00
..
coq-8.6.1-r1.ebuild Sync with portage [Tue Nov 5 08:48:18 MSK 2019]. 2019-11-05 08:48:18 +03:00
coq-8.9.1-r1.ebuild Sync with portage [Mon Nov 25 12:33:10 MSK 2019]. 2019-11-25 12:33:10 +03:00
coq-8.12.0-r1.ebuild Sync with portage [Mon Feb 8 14:39:26 MSK 2021]. 2021-02-08 14:39:26 +03:00
coq-8.13.0.ebuild Sync with portage [Mon Feb 8 14:39:26 MSK 2021]. 2021-02-08 14:39:26 +03:00
Manifest Sync with portage [Mon Feb 8 14:39:26 MSK 2021]. 2021-02-08 14:39:26 +03:00
metadata.xml Sync with portage [Mon Feb 8 14:39:26 MSK 2021]. 2021-02-08 14:39:26 +03:00