The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
proofgeneral-doc_4.3~pre130510-1.1_all.deb         28-Feb-2014 12:38              657740
proofgeneral-doc_4.3~pre131011-0.2_all.deb         16-Nov-2014 23:34              680856
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       19-Dec-2019 18:28              671136
proofgeneral-doc_4.4.1~pre170114-1_all.deb         17-Jan-2017 05:23              671518
proofgeneral-doc_4.5-1_all.deb                     17-Aug-2023 17:49              683198
proofgeneral_4.3~pre130510-1.1.debian.tar.xz       28-Feb-2014 12:38               19108
proofgeneral_4.3~pre130510-1.1.dsc                 28-Feb-2014 12:38                2016
proofgeneral_4.3~pre130510-1.1_all.deb             28-Feb-2014 12:38              361556
proofgeneral_4.3~pre130510.orig.tar.gz             18-May-2013 17:33             1047655
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       16-Nov-2014 23:33               19412
proofgeneral_4.3~pre131011-0.2.dsc                 16-Nov-2014 23:33                1975
proofgeneral_4.3~pre131011-0.2_all.deb             16-Nov-2014 23:34              364274
proofgeneral_4.3~pre131011.orig.tar.xz             25-Oct-2014 12:32            11592524
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz     19-Dec-2019 17:58               19908
proofgeneral_4.4.1~pre170114-1.2.dsc               19-Dec-2019 17:58                1983
proofgeneral_4.4.1~pre170114-1.2_all.deb           19-Dec-2019 18:28              542408
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       17-Jan-2017 05:13               19736
proofgeneral_4.4.1~pre170114-1.dsc                 17-Jan-2017 05:13                1989
proofgeneral_4.4.1~pre170114-1_all.deb             17-Jan-2017 05:23              542604
proofgeneral_4.4.1~pre170114.orig.tar.xz           17-Jan-2017 05:13             9299752
proofgeneral_4.5-1.debian.tar.xz                   17-Aug-2023 17:16               17188
proofgeneral_4.5-1.dsc                             17-Aug-2023 17:16                2000
proofgeneral_4.5-1_all.deb                         17-Aug-2023 17:49              590368
proofgeneral_4.5.orig.tar.gz                       17-Aug-2023 17:16             1198535

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.