summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
AgeCommit message (Expand)Author
2023-08-11gentoo auto-resync : 11:08:2023 - 21:35:53V3n3RiX
2019-10-14gentoo resync : 13.10.2019V3n3RiX
2019-09-06gentoo resync : 06.08.2019V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 19:05:00 +0000