Index of /pool/main/g/gap-polymaking

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 gap-polymaking_0.8.7-3.debian.tar.xz 2024-04-17 14:41  3.6K  
 gap-polymaking_0.8.7-3.dsc           2024-04-17 14:41  1.9K  
 gap-polymaking_0.8.7-3_all.deb       2024-04-17 15:06  260K  
 gap-polymaking_0.8.7.orig.tar.gz     2023-11-22 21:02  275K