Index of /linux/debian/debian-ports/pool-hppa/main/c/coq

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] coq_9.2.0+dfsg-4_hppa.buildinfo              2026-09-19 20:03   15K  
[   ] coq_9.2.0+dfsg-4_hppa.deb                    2026-09-19 20:03   23M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_hppa.deb  2026-09-19 20:03   44M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_hppa.deb      2026-09-19 20:03   17M  
[   ] libcoq-core_9.2.0+dfsg-4_hppa.deb            2026-09-19 20:03  1.1M  
[   ] rocqide_9.2.0+dfsg-4_hppa.deb                2026-09-19 20:03  582K