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

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] coq_9.2.0+dfsg-4_alpha.buildinfo              2026-08-25 20:03   16K  
[   ] coq_9.2.0+dfsg-4_alpha.deb                    2026-08-25 20:03   23M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_alpha.deb  2026-08-25 20:03   44M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_alpha.deb      2026-08-25 20:03   17M  
[   ] libcoq-core_9.2.0+dfsg-4_alpha.deb            2026-08-25 20:03  1.1M  
[   ] rocqide_9.2.0+dfsg-4_alpha.deb                2026-08-25 20:03  593K