Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /mirrors/ubuntu/pool/universe/p/proofgeneral/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
proofgeneral_4.3~pre131011-0.2.dsc	1.9 KiB	2014-11-16 23:33:49
proofgeneral_4.4.1~pre170114-1.2.dsc	1.9 KiB	2019-12-19 17:58:17
proofgeneral_4.4.1~pre170114-1.dsc	1.9 KiB	2017-01-17 05:13:18
proofgeneral_4.5-1.dsc	2.0 KiB	2023-08-17 17:16:06
proofgeneral_4.3~pre130510-1.1.dsc	2.0 KiB	2014-02-28 12:38:42
proofgeneral_4.5-2.dsc	2.1 KiB	2024-10-31 19:06:51
proofgeneral_4.5-1.debian.tar.xz	16.8 KiB	2023-08-17 17:16:06
proofgeneral_4.5-2.debian.tar.xz	17.0 KiB	2024-10-31 19:06:51
proofgeneral_4.3~pre130510-1.1.debian.tar.xz	18.7 KiB	2014-02-28 12:38:42
proofgeneral_4.3~pre131011-0.2.debian.tar.xz	19.0 KiB	2014-11-16 23:33:49
proofgeneral_4.4.1~pre170114-1.debian.tar.xz	19.3 KiB	2017-01-17 05:13:18
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz	19.4 KiB	2019-12-19 17:58:18
proofgeneral_4.3~pre130510-1.1_all.deb	353.1 KiB	2014-02-28 12:38:50
proofgeneral_4.3~pre131011-0.2_all.deb	355.7 KiB	2014-11-16 23:34:02
proofgeneral_4.4.1~pre170114-1.2_all.deb	529.7 KiB	2019-12-19 18:28:21
proofgeneral_4.4.1~pre170114-1_all.deb	529.9 KiB	2017-01-17 05:23:49
proofgeneral_4.5-2_all.deb	576.3 KiB	2024-11-01 00:59:17
proofgeneral_4.5-1_all.deb	576.5 KiB	2023-08-17 17:49:42
proofgeneral-doc_4.3~pre130510-1.1_all.deb	642.3 KiB	2014-02-28 12:38:50
proofgeneral-doc_4.5-2_all.deb	646.3 KiB	2024-11-01 00:59:17
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb	655.4 KiB	2019-12-19 18:28:21
proofgeneral-doc_4.4.1~pre170114-1_all.deb	655.8 KiB	2017-01-17 05:23:47
proofgeneral-doc_4.3~pre131011-0.2_all.deb	664.9 KiB	2014-11-16 23:34:01
proofgeneral-doc_4.5-1_all.deb	667.2 KiB	2023-08-17 17:49:42
proofgeneral_4.3~pre130510.orig.tar.gz	1023.1 KiB	2013-05-18 17:33:35
proofgeneral_4.5.orig.tar.gz	1.1 MiB	2023-08-17 17:16:06
proofgeneral_4.4.1~pre170114.orig.tar.xz	8.9 MiB	2017-01-17 05:13:18
proofgeneral_4.3~pre131011.orig.tar.xz	11.1 MiB	2014-10-25 12:32:18