/gentoo-portage/app-emacs/proofgeneral/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2022-Aug-12 16:40 |
Manifest | 3419 | 2022-Jul-14 15:10 |
proofgeneral-4.4.ebuild | 1630 | 2019-Oct-12 21:39 |
proofgeneral-4.5_pre20220228.ebuild | 1490 | 2022-May-11 09:40 |
proofgeneral-4.5.ebuild | 1448 | 2022-Jul-14 15:10 |
metadata.xml | 656 | 2022-Jun-02 13:40 |