You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/coq
root 2d4d38c0f8
Sync with portage [Tue Mar 5 12:34:46 MSK 2024].
3 weeks ago
..
Manifest Sync with portage [Tue Mar 5 12:34:46 MSK 2024]. 3 weeks ago
coq-8.19.0.ebuild Sync with portage [Wed Feb 28 13:47:39 MSK 2024]. 4 weeks ago
coq-8.19.1.ebuild Sync with portage [Tue Mar 5 12:34:46 MSK 2024]. 3 weeks ago
metadata.xml Sync with portage [Sun Feb 27 23:32:53 MSK 2022]. 2 years ago