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

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