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-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-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-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