Index of /linux/debian/debian-ports/pool-ppc64/main/c/coq-bignums

Icon  Name                                               Last modified      Size  
[PARENTDIR] Parent Directory                                                        -   
[   ] coq-bignums_9.0.0+coq8.20-1+b1_ppc64.buildinfo     2024-08-04 08:03  7.1K  
[   ] libcoq-bignums-dbgsym_9.0.0+coq8.20-1+b1_ppc64.deb 2024-08-04 08:03  3.9K  
[   ] libcoq-bignums_9.0.0+coq8.20-1+b1_ppc64.deb        2024-08-04 08:03  1.8M