Index of /debian/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836
coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23925860
coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192
coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 96071892
coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572
coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 102168100
coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 70222224
coq_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 74446016
coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940
coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 74871048
coq_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 41143764
coq_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 44469296
coq_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 41138392
coq_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 41145596
coq_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 44454796
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212
coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2170596
coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2310756
coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 1930360
coqide_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 2246476
coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232
coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2252096
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 42825080
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 68569160
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+b5_arm64.deb 19-Jun-2026 06:35 52339052
libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 55434592
libcoq-core-ocaml-dev_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 55853092
libcoq-core-ocaml-dev_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 55435096
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 55432132
libcoq-core-ocaml-dev_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 55851712
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 23093000
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25955760
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 26387968
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+b5_arm64.deb 19-Jun-2026 06:35 24620816
libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 25713812
libcoq-core-ocaml_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 26194844
libcoq-core-ocaml_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 25712008
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 25712392
libcoq-core-ocaml_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 26203272
libcoq-core_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1153152
libcoq-core_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 1152460
libcoq-core_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1151536
libcoq-core_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 1152552
libcoq-core_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 1152032
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18726796
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156
libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 7980456
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21528036
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 23527164
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 23531376
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23525580
rocqide_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1941608
rocqide_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 2256132
rocqide_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1953960
rocqide_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 1949732
rocqide_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 2253704