summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+59
* Adding metadataroot2026-06-121-59/+0
* Adding metadataroot2026-06-041-0/+59
* Adding metadataroot2026-06-041-59/+0
* Revert "Adding metadata"root2026-06-041-0/+59
* Adding metadataroot2026-06-041-59/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-121-1/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-161-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-141-0/+57