/sites/ftp.debian.org/debian/pool/main/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.5.orig.tar.gz1.1 MiB2023-Aug-17 12:46
proofgeneral_4.5-3_all.deb625.6 KiB2024-Nov-27 18:28
proofgeneral_4.5-3.dsc2.1 KiB2024-Nov-27 17:42
proofgeneral_4.5-3.debian.tar.xz17.0 KiB2024-Nov-27 17:42
proofgeneral_4.4.1~pre170114.orig.tar.xz8.9 MiB2017-Jan-16 21:49
proofgeneral_4.4.1~pre170114-1.2_all.deb588.9 KiB2019-Dec-19 09:21
proofgeneral_4.4.1~pre170114-1.2.dsc1.9 KiB2019-Dec-19 08:06
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz19.4 KiB2019-Dec-19 08:06
proofgeneral-doc_4.5-3_all.deb660.1 KiB2024-Nov-27 18:28
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb665.8 KiB2019-Dec-19 09:21