calculate/gentoo-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-overlay/sci-mathematics/vampire
History
root ead7d21638 Sync with portage [Wed Jan 26 08:24:45 MSK 2022].
2022-01-26 08:24:45 +03:00
..
Manifest Sync with portage [Sun Dec 12 10:25:01 MSK 2021]. 2021-12-12 10:25:01 +03:00
metadata.xml Sync with portage [Wed Jan 26 08:24:45 MSK 2022]. 2022-01-26 08:24:45 +03:00
vampire-4.6.1.ebuild Sync with portage [Sun Dec 12 10:25:01 MSK 2021]. 2021-12-12 10:25:01 +03:00