Studenten Net Twente Mirror service

Index of /pub/os/linux/debian-archive/debian-debug/pool/main/c/coq/

Filename Modification time Size
coq-dbgsym_8.6-4_amd64.deb 1359 KiB
coq-dbgsym_8.6-4_arm64.deb 1283 KiB
coq-dbgsym_8.6-4_armel.deb 1402 KiB
coq-dbgsym_8.6-4_armhf.deb 1394 KiB
coq-dbgsym_8.6-4_i386.deb 1281 KiB
coq-theories-dbgsym_8.6-4_amd64.deb 857 KiB
coq-theories-dbgsym_8.6-4_i386.deb 827 KiB
coq_8.6-4.debian.tar.xz 21 KiB
coq_8.6-4.dsc 2396 B
coq_8.6.orig.tar.gz 4891 KiB
coqide-dbgsym_8.6-4_amd64.deb 357 KiB
coqide-dbgsym_8.6-4_arm64.deb 349 KiB
coqide-dbgsym_8.6-4_armel.deb 367 KiB
coqide-dbgsym_8.6-4_armhf.deb 367 KiB
coqide-dbgsym_8.6-4_i386.deb 340 KiB
libcoq-ocaml-dbgsym_8.6-4_amd64.deb 259 KiB
libcoq-ocaml-dbgsym_8.6-4_arm64.deb 250 KiB
libcoq-ocaml-dbgsym_8.6-4_armel.deb 270 KiB
libcoq-ocaml-dbgsym_8.6-4_armhf.deb 278 KiB
libcoq-ocaml-dbgsym_8.6-4_i386.deb 252 KiB
libcoq-ocaml-dbgsym_8.6-4_mips.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_mips64el.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_mipsel.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_ppc64el.deb 21 KiB
libcoq-ocaml-dbgsym_8.6-4_s390x.deb 22 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb 80 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb 78 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_armel.deb 84 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb 84 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb 77 KiB