Index of /pool/main/c/coq/
../
coq_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 71120816
coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940
coq_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 74912724
coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 74871048
coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30208
coq_8.20.1+dfsg-1.dsc 17-Feb-2025 16:37 2582
coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5014988
coq_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 41288728
coq_9.2.0+dfsg-3.debian.tar.xz 27-Jul-2026 14:12 28280
coq_9.2.0+dfsg-3.dsc 27-Jul-2026 14:12 2479
coq_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 44574372
coq_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 24127888
coq_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 24355396
coq_9.2.0+dfsg-4.debian.tar.xz 25-Aug-2026 11:56 28296
coq_9.2.0+dfsg-4.dsc 25-Aug-2026 11:56 2710
coq_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 41290504
coq_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 44556608
coq_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 24129088
coq_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 24356512
coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 3946088
coqide_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 1937248
coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232
coqide_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 2256840
coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2252096
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 52008056
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 52003544
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 52339240
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 52339052
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 55699820
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 56121148
libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 46594684
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 46592644
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 55691200
libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 56112036
libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 46587436
libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 46595188
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 24209008
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 24203864
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 24630388
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 24620816
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 25791508
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 26297080
libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 18076800
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 18080772
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 25788404
libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 26305360
libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 18077652
libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 18081604
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1154548
libcoq-core_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 1151768
libcoq-core_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 1152876
libcoq-core_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 1153628
libcoq-core_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 1153244
libcoq-core_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 1152704
libcoq-core_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 1151224
libcoq-core_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 1152244
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 23527548
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 23527052
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23525580
rocqide_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1951308
rocqide_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 2251096
rocqide_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 566144
rocqide_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 637460
rocqide_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 1942852
rocqide_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 2252604
rocqide_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 566400
rocqide_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 638828