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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 proofgeneral_4.5.ori..> 2023-08-17 20:16  1.1M  
 proofgeneral_4.5-2_a..> 2024-11-01 03:59  576K  
 proofgeneral_4.5-2.dsc  2024-10-31 22:06  2.1K  
 proofgeneral_4.5-2.d..> 2024-10-31 22:06   17K  
 proofgeneral_4.5-1_a..> 2023-08-17 20:49  577K  
 proofgeneral_4.5-1.dsc  2023-08-17 20:16  2.0K  
 proofgeneral_4.5-1.d..> 2023-08-17 20:16   17K  
 proofgeneral_4.4.1~p..> 2017-01-17 08:13  8.9M  
 proofgeneral_4.4.1~p..> 2017-01-17 08:23  530K  
 proofgeneral_4.4.1~p..> 2017-01-17 08:13  1.9K  
 proofgeneral_4.4.1~p..> 2017-01-17 08:13   19K  
 proofgeneral_4.4.1~p..> 2019-12-19 21:28  530K  
 proofgeneral_4.4.1~p..> 2019-12-19 20:58  1.9K  
 proofgeneral_4.4.1~p..> 2019-12-19 20:58   19K  
 proofgeneral_4.3~pre..> 2014-10-25 16:32   11M  
 proofgeneral_4.3~pre..> 2014-11-17 02:34  356K  
 proofgeneral_4.3~pre..> 2014-11-17 02:33  1.9K  
 proofgeneral_4.3~pre..> 2014-11-17 02:33   19K  
 proofgeneral_4.3~pre..> 2013-05-18 21:33  1.0M  
 proofgeneral_4.3~pre..> 2014-02-28 16:38  353K  
 proofgeneral_4.3~pre..> 2014-02-28 16:38  2.0K  
 proofgeneral_4.3~pre..> 2014-02-28 16:38   19K  
 proofgeneral-doc_4.5..> 2024-11-01 03:59  646K  
 proofgeneral-doc_4.5..> 2023-08-17 20:49  667K  
 proofgeneral-doc_4.4..> 2017-01-17 08:23  656K  
 proofgeneral-doc_4.4..> 2019-12-19 21:28  655K  
 proofgeneral-doc_4.3..> 2014-11-17 02:34  665K  
 proofgeneral-doc_4.3..> 2014-02-28 16:38  642K