Name Last modified Size Description
Parent Directory -
proofgeneral_4.5-1.debian.tar.xz 2023-08-17 21:46 17K
proofgeneral_4.5-1.dsc 2023-08-17 21:46 2.0K
proofgeneral_4.5.orig.tar.gz 2023-08-17 21:46 1.1M
proofgeneral-doc_4.5-1_all.deb 2023-08-17 22:22 681K
proofgeneral_4.5-1_all.deb 2023-08-17 22:22 625K