Index of /pardus/pool/main/c/coq/
../
coq-theories_8.6-4_amd64.deb 02-Jul-2026 15:35 30M
coq-theories_8.6-4_i386.deb 02-Jul-2026 15:41 29M
coq-theories_8.9.0-1_amd64.deb 02-Jul-2026 11:06 28M
coq-theories_8.9.0-1_arm64.deb 02-Jul-2026 12:22 19M
coq-theories_8.9.0-1_i386.deb 02-Jul-2026 12:31 27M
coq_8.6-4.debian.tar.xz 02-Jul-2026 16:04 21K
coq_8.6-4.dsc 02-Jul-2026 16:04 2396
coq_8.6-4_amd64.deb 02-Jul-2026 16:13 13M
coq_8.6-4_i386.deb 02-Jul-2026 15:22 13M
coq_8.6.orig.tar.gz 02-Jul-2026 16:04 5M
coq_8.9.0-1.debian.tar.xz 02-Jul-2026 11:05 27K
coq_8.9.0-1.dsc 02-Jul-2026 11:05 2417
coq_8.9.0-1_amd64.deb 02-Jul-2026 11:54 56M
coq_8.9.0-1_arm64.deb 02-Jul-2026 11:17 60M
coq_8.9.0-1_i386.deb 02-Jul-2026 12:09 54M
coq_8.9.0.orig.tar.gz 02-Jul-2026 11:05 5M
coqide_8.6-4_amd64.deb 02-Jul-2026 16:16 1M
coqide_8.6-4_i386.deb 02-Jul-2026 16:05 1M
libcoq-ocaml-dev_8.6-4_amd64.deb 02-Jul-2026 15:33 13M
libcoq-ocaml-dev_8.6-4_i386.deb 02-Jul-2026 15:28 13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 02-Jul-2026 12:14 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 02-Jul-2026 11:41 13M
libcoq-ocaml-dev_8.9.0-1_i386.deb 02-Jul-2026 11:40 13M
libcoq-ocaml_8.6-4_amd64.deb 02-Jul-2026 15:45 3M
libcoq-ocaml_8.6-4_i386.deb 02-Jul-2026 16:03 3M
libcoq-ocaml_8.9.0-1_amd64.deb 02-Jul-2026 12:40 5M
libcoq-ocaml_8.9.0-1_arm64.deb 02-Jul-2026 12:07 6M
libcoq-ocaml_8.9.0-1_i386.deb 02-Jul-2026 11:53 5M