mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-07-22 06:57:59 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/app-emacs/proofgeneral/files
History
Exact
…
..
50proofgeneral-gentoo.el
proofgeneral-4.4-desktop.patch
proofgeneral-4.5-paths.patch
proofgeneral-4.5-posix-no-which.patch