gentoo-overlay/sci-mathematics/coq
2022-12-01 00:28:27 +03:00
..
coq-8.12.0-r2.ebuild Sync with portage [Tue Dec 7 18:11:15 MSK 2021]. 2021-12-07 18:11:15 +03:00
coq-8.13.0-r1.ebuild Sync with portage [Mon Jul 26 22:35:19 MSK 2021]. 2021-07-26 22:35:19 +03:00
coq-8.15.2.ebuild Sync with portage [Tue May 31 23:31:12 MSK 2022]. 2022-05-31 23:31:13 +03:00
coq-8.16.0.ebuild Sync with portage [Tue Sep 6 22:47:48 MSK 2022]. 2022-09-06 22:47:48 +03:00
coq-8.16.1.ebuild Sync with portage [Sat Nov 26 18:49:54 MSK 2022]. 2022-11-26 18:49:54 +03:00
Manifest Sync with portage [Thu Dec 1 00:28:27 MSK 2022]. 2022-12-01 00:28:27 +03:00
metadata.xml Sync with portage [Sun Feb 27 23:32:53 MSK 2022]. 2022-02-27 23:32:53 +03:00