calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/app-emacs/proofgeneral
History
root 89fc8a794f Sync with portage [Tue Oct 15 09:06:51 MSK 2019].
2019-10-15 09:06:51 +03:00
..
files Sync with portage [Tue Oct 15 09:06:51 MSK 2019]. 2019-10-15 09:06:51 +03:00
Manifest Sync with portage [Tue Oct 15 09:06:51 MSK 2019]. 2019-10-15 09:06:51 +03:00
metadata.xml Sync with portage [Wed Jun 13 01:18:04 MSK 2018]. 2018-06-13 01:18:04 +03:00
proofgeneral-4.4.ebuild Sync with portage [Sun Oct 13 03:22:14 MSK 2019]. 2019-10-13 03:22:15 +03:00