calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/sci-mathematics/coq-serapi
History
root 7356f10701 Sync with portage [Wed Apr 20 09:48:02 MSK 2022].
2022-04-20 09:48:02 +03:00
..
files Sync with portage [Sat Mar 5 09:46:49 MSK 2022]. 2022-03-05 09:46:49 +03:00
coq-serapi-0.15.0-r2.ebuild Sync with portage [Wed Apr 20 09:48:02 MSK 2022]. 2022-04-20 09:48:02 +03:00
Manifest Sync with portage [Wed Apr 20 09:48:02 MSK 2022]. 2022-04-20 09:48:02 +03:00
metadata.xml Sync with portage [Sat Mar 5 09:46:49 MSK 2022]. 2022-03-05 09:46:49 +03:00