Index of /ubuntu/pool/universe/p/proofgeneral/
name
size
date
proofgeneral-doc_4.5-3build1_all.deb
0.62M
2026-01-27 16:44:39
proofgeneral_4.5-3build1_all.deb
0.56M
2026-01-27 16:44:39
proofgeneral_4.5-3build1.debian.tar.xz
17.1K
2026-01-27 16:43:16
proofgeneral_4.5-3build1.dsc
2.1K
2026-01-27 16:43:16
proofgeneral_4.5-3_all.deb
0.56M
2024-11-27 23:56:37
proofgeneral-doc_4.5-3_all.deb
0.63M
2024-11-27 23:56:36
proofgeneral_4.5-3.debian.tar.xz
17.0K
2024-11-27 23:56:30
proofgeneral_4.5-3.dsc
2.1K
2024-11-27 23:56:30
proofgeneral-doc_4.5-1_all.deb
0.65M
2023-08-17 17:49:42
proofgeneral_4.5-1_all.deb
0.56M
2023-08-17 17:49:42
proofgeneral_4.5-1.debian.tar.xz
16.8K
2023-08-17 17:16:06
proofgeneral_4.5-1.dsc
2.0K
2023-08-17 17:16:06
proofgeneral_4.5.orig.tar.gz
1.14M
2023-08-17 17:16:06
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb
0.64M
2019-12-19 18:28:21
proofgeneral_4.4.1~pre170114-1.2_all.deb
0.52M
2019-12-19 18:28:21
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
19.4K
2019-12-19 17:58:18
proofgeneral_4.4.1~pre170114-1.2.dsc
1.9K
2019-12-19 17:58:17
proofgeneral_4.4.1~pre170114-1_all.deb
0.52M
2017-01-17 05:23:49
proofgeneral-doc_4.4.1~pre170114-1_all.deb
0.64M
2017-01-17 05:23:47
proofgeneral_4.4.1~pre170114-1.debian.tar.xz
19.3K
2017-01-17 05:13:18
proofgeneral_4.4.1~pre170114-1.dsc
1.9K
2017-01-17 05:13:18
proofgeneral_4.4.1~pre170114.orig.tar.xz
8.87M
2017-01-17 05:13:18
proofgeneral_4.3~pre131011-0.2_all.deb
355.7K
2014-11-16 23:34:02
proofgeneral-doc_4.3~pre131011-0.2_all.deb
0.65M
2014-11-16 23:34:01
proofgeneral_4.3~pre131011-0.2.debian.tar.xz
19.0K
2014-11-16 23:33:49
proofgeneral_4.3~pre131011-0.2.dsc
1.9K
2014-11-16 23:33:49
proofgeneral_4.3~pre131011.orig.tar.xz
11.06M
2014-10-25 12:32:18
proofgeneral-doc_4.3~pre130510-1.1_all.deb
0.63M
2014-02-28 12:38:50
proofgeneral_4.3~pre130510-1.1_all.deb
353.1K
2014-02-28 12:38:50
proofgeneral_4.3~pre130510-1.1.debian.tar.xz
18.7K
2014-02-28 12:38:42
proofgeneral_4.3~pre130510-1.1.dsc
2.0K
2014-02-28 12:38:42
proofgeneral_4.3~pre130510.orig.tar.gz
1.00M
2013-05-18 17:33:35