Index of /debian-ports/pool-hurd-i386/main/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_9.2.0+dfsg-4_hurd-i386.buildinfo2026-08-26 02:03 15K 
[ ]coq_9.2.0+dfsg-4_hurd-i386.deb2026-08-26 02:03 23M 
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-4_hurd-i386.deb2026-08-26 02:03 44M 
[ ]libcoq-core-ocaml_9.2.0+dfsg-4_hurd-i386.deb2026-08-26 02:03 17M 
[ ]libcoq-core_9.2.0+dfsg-4_hurd-i386.deb2026-08-26 02:03 1.1M 
[ ]rocqide_9.2.0+dfsg-4_hurd-i386.deb2026-08-26 02:03 624K