Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-02-28 12:38:50642.32 KB
📄 proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-11-16 23:34:01664.9 KB
📄 proofgeneral-doc_4.4.1~pre170114-1.2_all.deb2019-12-19 18:28:21655.41 KB
📄 proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-01-17 05:23:47655.78 KB
📄 proofgeneral-doc_4.5-1_all.deb2023-08-17 17:49:42667.19 KB
📄 proofgeneral-doc_4.5-3_all.deb2024-11-27 23:56:36646.29 KB
📄 proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-02-28 12:38:4218.66 KB
📄 proofgeneral_4.3~pre130510-1.1.dsc2014-02-28 12:38:421.97 KB
📄 proofgeneral_4.3~pre130510-1.1_all.deb2014-02-28 12:38:50353.08 KB
📄 proofgeneral_4.3~pre130510.orig.tar.gz2013-05-18 17:33:351023.1 KB
📄 proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-11-16 23:33:4918.96 KB
📄 proofgeneral_4.3~pre131011-0.2.dsc2014-11-16 23:33:491.93 KB
📄 proofgeneral_4.3~pre131011-0.2_all.deb2014-11-16 23:34:02355.74 KB
📄 proofgeneral_4.3~pre131011.orig.tar.xz2014-10-25 12:32:1811.06 MB
📄 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz2019-12-19 17:58:1819.44 KB
📄 proofgeneral_4.4.1~pre170114-1.2.dsc2019-12-19 17:58:171.94 KB
📄 proofgeneral_4.4.1~pre170114-1.2_all.deb2019-12-19 18:28:21529.7 KB
📄 proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-01-17 05:13:1819.27 KB
📄 proofgeneral_4.4.1~pre170114-1.dsc2017-01-17 05:13:181.94 KB
📄 proofgeneral_4.4.1~pre170114-1_all.deb2017-01-17 05:23:49529.89 KB
📄 proofgeneral_4.4.1~pre170114.orig.tar.xz2017-01-17 05:13:188.87 MB
📄 proofgeneral_4.5-1.debian.tar.xz2023-08-17 17:16:0616.79 KB
📄 proofgeneral_4.5-1.dsc2023-08-17 17:16:061.95 KB
📄 proofgeneral_4.5-1_all.deb2023-08-17 17:49:42576.53 KB
📄 proofgeneral_4.5-3.debian.tar.xz2024-11-27 23:56:3017.02 KB
📄 proofgeneral_4.5-3.dsc2024-11-27 23:56:302.07 KB
📄 proofgeneral_4.5-3_all.deb2024-11-27 23:56:37576.38 KB
📄 proofgeneral_4.5.orig.tar.gz2023-08-17 17:16:061.14 MB