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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-stdlib_8.18.0+dfsg-1+b1_hurd-i386.deb22.2 MiB14.03.2024 06:03
libcoq-core-ocaml_8.18.0+dfsg-1+b1_hurd-i386.deb21.4 MiB14.03.2024 06:03
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_hurd-i386.deb42.1 MiB14.03.2024 06:03
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb2.1 MiB14.03.2024 06:03
coqide_8.18.0+dfsg-1+b1_hurd-i386.deb1.7 MiB14.03.2024 06:03
coqide-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb693.5 KiB14.03.2024 06:03
coq_8.18.0+dfsg-1+b1_hurd-i386.deb73.6 MiB14.03.2024 06:03
coq_8.18.0+dfsg-1+b1_hurd-i386.buildinfo16.2 KiB14.03.2024 06:03
coq-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb10.6 MiB14.03.2024 06:03