Index of /debian-ports/pool-hurd-i386/main/c/coq/
../
coq-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 11M
coq_8.18.0+dfsg-1+b1_hurd-i386.buildinfo 14-Mar-2024 06:03 16K
coq_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 74M
coqide-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 693K
coqide_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 2M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 2M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 42M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 21M
libcoq-stdlib_8.18.0+dfsg-1+b1_hurd-i386.deb 14-Mar-2024 06:03 22M