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

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 proofgeneral-doc_4.3~pre130510-1.1_all.deb   2014-02-28 13:38  642K  
 proofgeneral-doc_4.3~pre131011-0.2_all.deb   2014-11-17 00:34  665K  
 proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 2019-12-19 19:28  655K  
 proofgeneral-doc_4.4.1~pre170114-1_all.deb   2017-01-17 06:23  656K  
 proofgeneral-doc_4.5-1_all.deb               2023-08-17 19:49  667K  
 proofgeneral-doc_4.5-3_all.deb               2024-11-28 00:56  646K  
 proofgeneral_4.3~pre130510-1.1_all.deb       2014-02-28 13:38  353K  
 proofgeneral_4.3~pre131011-0.2_all.deb       2014-11-17 00:34  356K  
 proofgeneral_4.4.1~pre170114-1.2_all.deb     2019-12-19 19:28  530K  
 proofgeneral_4.4.1~pre170114-1_all.deb       2017-01-17 06:23  530K  
 proofgeneral_4.5-1_all.deb                   2023-08-17 19:49  577K  
 proofgeneral_4.5-3_all.deb                   2024-11-28 00:56  576K