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-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 23918664
coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680
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.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 88355300
coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220
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.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 89867592
coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396
coq_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 93886792
coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 93314900
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+b1_ppc64el.deb 15-Jun-2025 05:53 70854312
coq_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 71035152
coq_8.20.1+dfsg-1+b3_ppc64el.deb 19-Jun-2026 07:10 71690984
coq_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 72116820
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-1_armhf.deb 10-Jul-2026 09:06 24133620
coq_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 24360688
coq_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 41914988
coq_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 42214060
coq_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 41138392
coq_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 44454796
coq_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 24134552
coq_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 24361956
coq_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 41930972
coq_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 42215884
coq_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 41288728
coq_9.2.0+dfsg-3_amd64.deb 27-Jul-2026 14:12 41286376
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-3_ppc64el.deb 27-Jul-2026 14:58 42004612
coq_9.2.0+dfsg-3_s390x.deb 27-Jul-2026 14:58 42263984
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.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 1736840
coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020
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.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 1834728
coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236
coqide_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 2076580
coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 1979904
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+b1_ppc64el.deb 15-Jun-2025 05:53 1970152
coqide_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 1974864
coqide_8.20.1+dfsg-1+b3_ppc64el.deb 19-Jun-2026 07:10 1980520
coqide_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 2009756
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.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 43114464
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 43561824
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 42245924
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+b1_ppc64el.deb 15-Jun-2025 05:53 69333132
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 68187812
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_ppc64el.deb 19-Jun-2026 07:10 52658092
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 51832812
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-1_armhf.deb 10-Jul-2026 09:06 46310800
libcoq-core-ocaml-dev_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 46311064
libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 56149820
libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 55250636
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_arm64.deb 21-Jul-2026 08:48 55851712
libcoq-core-ocaml-dev_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 46309872
libcoq-core-ocaml-dev_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 46310440
libcoq-core-ocaml-dev_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 56160936
libcoq-core-ocaml-dev_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 55255568
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_amd64.deb 27-Jul-2026 14:12 55697472
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-3_ppc64el.deb 27-Jul-2026 14:58 56420108
libcoq-core-ocaml-dev_9.2.0+dfsg-3_s390x.deb 27-Jul-2026 14:58 55476060
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.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 22259280
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 22620372
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 22619920
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+b1_ppc64el.deb 15-Jun-2025 05:53 25980948
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 26001128
libcoq-core-ocaml_8.20.1+dfsg-1+b3_ppc64el.deb 19-Jun-2026 07:10 24244436
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 24320344
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-1_armhf.deb 10-Jul-2026 09:06 18000036
libcoq-core-ocaml_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 18004196
libcoq-core-ocaml_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 25773128
libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 25841148
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_arm64.deb 21-Jul-2026 08:48 26203272
libcoq-core-ocaml_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 18000396
libcoq-core-ocaml_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 18004984
libcoq-core-ocaml_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 25773024
libcoq-core-ocaml_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 25844424
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_amd64.deb 27-Jul-2026 14:12 25796832
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-3_ppc64el.deb 27-Jul-2026 14:58 25867816
libcoq-core-ocaml_9.2.0+dfsg-3_s390x.deb 27-Jul-2026 14:58 25937240
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-1_armhf.deb 10-Jul-2026 09:06 1152776
libcoq-core_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 1153960
libcoq-core_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 1154788
libcoq-core_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 1151320
libcoq-core_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1151536
libcoq-core_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 1152032
libcoq-core_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 1153408
libcoq-core_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 1153456
libcoq-core_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 1155048
libcoq-core_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 1151580
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1154548
libcoq-core_9.2.0+dfsg-3_amd64.deb 27-Jul-2026 14:12 1152632
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-3_ppc64el.deb 27-Jul-2026 14:58 1154244
libcoq-core_9.2.0+dfsg-3_s390x.deb 27-Jul-2026 14:58 1153956
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-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 19195248
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564
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-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 7743064
libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772
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.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21527688
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 21528192
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 21529156
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+b1_ppc64el.deb 15-Jun-2025 05:53 23529048
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 23528344
libcoq-stdlib_8.20.1+dfsg-1+b3_ppc64el.deb 19-Jun-2026 07:10 23527960
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 23523944
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-1_armhf.deb 10-Jul-2026 09:06 565804
rocqide_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 638088
rocqide_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 1993332
rocqide_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 2024024
rocqide_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1953960
rocqide_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 2253704
rocqide_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 566044
rocqide_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 638196
rocqide_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 1989016
rocqide_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 2026964
rocqide_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1951308
rocqide_9.2.0+dfsg-3_amd64.deb 27-Jul-2026 14:12 1948772
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-3_ppc64el.deb 27-Jul-2026 14:58 1990988
rocqide_9.2.0+dfsg-3_s390x.deb 27-Jul-2026 14:58 2021820