Index of /kali/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-1_all.deb625.5 KiB2023-Aug-17 13:22
proofgeneral_4.5-1.dsc2.0 KiB2023-Aug-17 12:46
proofgeneral_4.5-1.debian.tar.xz16.8 KiB2023-Aug-17 12:46
proofgeneral_4.4.1~pre170114.orig.tar.xz8.9 MiB2017-Jan-16 21:49
proofgeneral_4.4.1~pre170114-1_all.deb589.1 KiB2017-Jan-16 21:49
proofgeneral_4.4.1~pre170114-1.dsc1.9 KiB2017-Jan-16 21:49
proofgeneral_4.4.1~pre170114-1.debian.tar.xz19.3 KiB2017-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_4.4.1~pre170114-1.1_all.deb588.8 KiB2019-Jul-25 09:04
proofgeneral_4.4.1~pre170114-1.1.dsc1.9 KiB2019-Jul-25 08:19
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz19.3 KiB2019-Jul-25 08:19
proofgeneral_4.3~pre131011.orig.tar.xz11.1 MiB2014-Aug-12 13:27
proofgeneral_4.3~pre131011-0.2_all.deb366.5 KiB2014-Nov-16 16:54
proofgeneral_4.3~pre131011-0.2.dsc1.9 KiB2014-Nov-16 16:54
proofgeneral_4.3~pre131011-0.2.debian.tar.xz19.0 KiB2014-Nov-16 16:54
proofgeneral_4.2~pre120605.orig.tar.gz996.4 KiB2012-Jun-09 15:26
proofgeneral_4.2~pre120605-2_all.deb422.0 KiB2012-Dec-06 11:41
proofgeneral_4.2~pre120605-2.dsc1.9 KiB2012-Dec-06 11:41
proofgeneral_4.2~pre120605-2.debian.tar.gz19.4 KiB2012-Dec-06 11:41
proofgeneral-doc_4.5-1_all.deb681.4 KiB2023-Aug-17 13:22
proofgeneral-doc_4.4.1~pre170114-1_all.deb666.2 KiB2017-Jan-16 21:49
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb665.8 KiB2019-Dec-19 09:21
proofgeneral-doc_4.4.1~pre170114-1.1_all.deb665.8 KiB2019-Jul-25 09:04
proofgeneral-doc_4.3~pre131011-0.2_all.deb671.1 KiB2014-Nov-16 16:54
proofgeneral-doc_4.2~pre120605-2_all.deb655.5 KiB2012-Dec-06 11:41