Filename | Modification time | Size |
---|---|---|
proofgeneral-doc_4.5-3_all.deb | 660 KiB | |
proofgeneral_4.5-3.debian.tar.xz | 17 KiB | |
proofgeneral_4.5-3.dsc | 1214 B | |
proofgeneral_4.5-3_all.deb | 626 KiB | |
proofgeneral_4.5.orig.tar.gz | 1170 KiB |
Filename | Modification time | Size |
---|---|---|
proofgeneral-doc_4.5-3_all.deb | 660 KiB | |
proofgeneral_4.5-3.debian.tar.xz | 17 KiB | |
proofgeneral_4.5-3.dsc | 1214 B | |
proofgeneral_4.5-3_all.deb | 626 KiB | |
proofgeneral_4.5.orig.tar.gz | 1170 KiB |