Index of /pub/Linux/kali/pool/main/p/proofgeneral

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 proofgeneral-doc_4.5-3_all.deb   2024-11-28 03:28  660K  
 proofgeneral_4.5-3.debian.tar.xz 2024-11-28 02:42   17K  
 proofgeneral_4.5-3.dsc           2024-11-28 02:42  2.1K  
 proofgeneral_4.5-3_all.deb       2024-11-28 03:28  626K  
 proofgeneral_4.5.orig.tar.gz     2023-08-17 21:46  1.1M