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 82f961a620
Sync with portage [Wed Jan 8 13:42:51 MSK 2020].
4 years ago
..
Manifest Sync with portage [Tue Nov 5 08:46:51 MSK 2019]. 5 years ago
coq-8.6.1-r1.ebuild Sync with portage [Tue Nov 5 08:46:51 MSK 2019]. 5 years ago
coq-8.9.1-r1.ebuild Sync with portage [Mon Nov 25 12:31:45 MSK 2019]. 5 years ago
coq-8.9.1-r2.ebuild Sync with portage [Wed Jan 8 13:42:51 MSK 2020]. 4 years ago
metadata.xml Sync with portage [Sat Dec 14 12:24:29 MSK 2019]. 4 years ago