Index of /linux/debian/debian-ports/pool-ppc64/main/c/coqprime

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] coqprime-tools-dbgsym_8.19-2_ppc64.deb        2024-08-04 14:03   58K  
[   ] coqprime-tools_8.19-2_ppc64.deb               2024-08-04 14:03  135K  
[   ] coqprime_8.19-2_ppc64.buildinfo               2024-08-04 14:03  7.1K  
[   ] libcoq-coqprime_8.19-2_ppc64.deb              2024-08-04 14:03  1.7M