Index of /debian/pool/main/p/proofgeneral/

/debian/pool/main/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb665.8 KiB19 Dec 2019 09:21:52 +0000
proofgeneral-doc_4.5-3_all.deb660.1 KiB27 Nov 2024 18:28:08 +0000
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz19.4 KiB19 Dec 2019 08:06:18 +0000
proofgeneral_4.4.1~pre170114-1.2.dsc1.9 KiB19 Dec 2019 08:06:18 +0000
proofgeneral_4.4.1~pre170114-1.2_all.deb588.9 KiB19 Dec 2019 09:21:52 +0000
proofgeneral_4.4.1~pre170114.orig.tar.xz8.9 MiB16 Jan 2017 21:49:15 +0000
proofgeneral_4.5-3.debian.tar.xz17.0 KiB27 Nov 2024 17:42:39 +0000
proofgeneral_4.5-3.dsc2.1 KiB27 Nov 2024 17:42:39 +0000
proofgeneral_4.5-3_all.deb625.6 KiB27 Nov 2024 18:28:08 +0000
proofgeneral_4.5.orig.tar.gz1.1 MiB17 Aug 2023 12:46:34 +0000