Index of /pool/main/p/proofgeneral

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 proofgeneral-doc_4.5-1_all.deb   2023-08-17 15:22  681K  
 proofgeneral-doc_4.5-3_all.deb   2024-11-27 19:28  660K  
 proofgeneral_4.5-1.debian.tar.xz 2023-08-17 14:46   17K  
 proofgeneral_4.5-1.dsc           2023-08-17 14:46  2.0K  
 proofgeneral_4.5-1_all.deb       2023-08-17 15:22  625K  
 proofgeneral_4.5-3.debian.tar.xz 2024-11-27 18:42   17K  
 proofgeneral_4.5-3.dsc           2024-11-27 18:42  2.1K  
 proofgeneral_4.5-3_all.deb       2024-11-27 19:28  626K  
 proofgeneral_4.5.orig.tar.gz     2023-08-17 14:46  1.1M