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_armel.deb 25-Nov-2020 17:44 23913512
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-theories_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 23922476
coq-theories_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 23914852
coq-theories_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 23920460
coq-theories_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 21413936
coq-theories_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 21415896
coq-theories_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 21418176
coq-theories_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 21416088
coq-theories_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 21420244
coq-theories_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 21415628
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 15:26 32177364
coq-theories_8.6-4_amd64.deb 30-Dec-2016 00:56 31441296
coq-theories_8.6-4_arm64.deb 30-Dec-2016 01:57 22857022
coq-theories_8.6-4_armel.deb 30-Dec-2016 03:12 22844230
coq-theories_8.6-4_armhf.deb 30-Dec-2016 03:12 22844830
coq-theories_8.6-4_i386.deb 30-Dec-2016 01:57 30400702
coq-theories_8.6-4_mips.deb 30-Dec-2016 07:57 22842806
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 14:29 22853882
coq-theories_8.6-4_mipsel.deb 30-Dec-2016 07:57 22842810
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 03:57 22853882
coq-theories_8.6-4_s390x.deb 30-Dec-2016 05:27 22853880
coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672
coq-theories_8.9.0-1_arm64.deb 06-Feb-2019 20:26 20367676
coq-theories_8.9.0-1_armel.deb 07-Feb-2019 01:44 20356976
coq-theories_8.9.0-1_armhf.deb 07-Feb-2019 21:15 20351780
coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968
coq-theories_8.9.0-1_mips.deb 07-Feb-2019 03:15 20356988
coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 20360508
coq-theories_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 20357060
coq-theories_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 20367644
coq-theories_8.9.0-1_s390x.deb 06-Feb-2019 20:00 20367660
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_armel.deb 25-Nov-2020 17:44 105872392
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.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 105866584
coq_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 105883668
coq_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 91476120
coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772
coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483
coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211
coq_8.15.0+dfsg-1.debian.tar.xz 17-Jan-2022 15:02 39660
coq_8.15.0+dfsg-1.dsc 17-Jan-2022 15:02 2607
coq_8.15.0+dfsg.orig.tar.xz 17-Jan-2022 15:02 4669948
coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236
coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629
coq_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 10:11 93190536
coq_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 11:12 102134748
coq_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 10:57 89888996
coq_8.16.1+dfsg-1_i386.deb 29-Nov-2022 09:55 87502052
coq_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 10:26 93874868
coq_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 13:13 93332820
coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 15:26 15712
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 15:26 2374
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4047862
coq_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 3831960
coq_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 3922284
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3806642
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076
coq_8.6-4.debian.tar.xz 30-Dec-2016 00:56 21972
coq_8.6-4.dsc 30-Dec-2016 00:56 2396
coq_8.6-4_amd64.deb 30-Dec-2016 00:56 13953402
coq_8.6-4_arm64.deb 30-Dec-2016 01:57 13825574
coq_8.6-4_armel.deb 30-Dec-2016 03:12 13837218
coq_8.6-4_armhf.deb 30-Dec-2016 03:12 13919146
coq_8.6-4_i386.deb 30-Dec-2016 01:57 13593774
coq_8.6-4_mips.deb 30-Dec-2016 07:57 19122308
coq_8.6-4_mips64el.deb 30-Dec-2016 14:29 19119940
coq_8.6-4_mipsel.deb 30-Dec-2016 07:57 19119318
coq_8.6-4_ppc64el.deb 30-Dec-2016 03:57 19118778
coq_8.6-4_s390x.deb 30-Dec-2016 05:27 19121390
coq_8.6.orig.tar.gz 28-Dec-2016 13:44 5008604
coq_8.9.0-1.debian.tar.xz 06-Feb-2019 18:49 27816
coq_8.9.0-1.dsc 06-Feb-2019 18:49 2417
coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560
coq_8.9.0-1_arm64.deb 06-Feb-2019 20:26 63337232
coq_8.9.0-1_armel.deb 07-Feb-2019 01:44 50026616
coq_8.9.0-1_armhf.deb 07-Feb-2019 21:15 57327100
coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896
coq_8.9.0-1_mips.deb 07-Feb-2019 03:15 50024004
coq_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 50027828
coq_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 50022696
coq_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 60343172
coq_8.9.0-1_s390x.deb 06-Feb-2019 20:00 59188972
coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769
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_armel.deb 25-Nov-2020 17:44 46764
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.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 46732
coqide_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 46768
coqide_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 1958392
coqide_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 10:11 1993648
coqide_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 11:12 2294900
coqide_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 10:57 1836184
coqide_8.16.1+dfsg-1_i386.deb 29-Nov-2022 09:55 1804800
coqide_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 10:26 2075248
coqide_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 13:13 1974728
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 797340
coqide_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 798386
coqide_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 822990
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 730768
coqide_8.6-4_amd64.deb 30-Dec-2016 00:56 1406016
coqide_8.6-4_arm64.deb 30-Dec-2016 01:57 1423986
coqide_8.6-4_armel.deb 30-Dec-2016 03:12 1434024
coqide_8.6-4_armhf.deb 30-Dec-2016 03:12 1472834
coqide_8.6-4_i386.deb 30-Dec-2016 01:57 1313916
coqide_8.6-4_mips.deb 30-Dec-2016 07:57 1891224
coqide_8.6-4_mips64el.deb 30-Dec-2016 14:29 1891524
coqide_8.6-4_mipsel.deb 30-Dec-2016 07:57 1891696
coqide_8.6-4_ppc64el.deb 30-Dec-2016 03:57 1891522
coqide_8.6-4_s390x.deb 30-Dec-2016 05:27 1891480
libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 10:11 42717472
libcoq-core-ocaml-dev_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 11:12 42817028
libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 10:57 43115380
libcoq-core-ocaml-dev_8.16.1+dfsg-1_i386.deb 29-Nov-2022 09:55 42448964
libcoq-core-ocaml-dev_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 10:26 43568864
libcoq-core-ocaml-dev_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 13:13 42246060
libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 10:11 22555272
libcoq-core-ocaml_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 11:12 23092884
libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 10:57 22266280
libcoq-core-ocaml_8.16.1+dfsg-1_i386.deb 29-Nov-2022 09:55 21745520
libcoq-core-ocaml_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 10:26 22617192
libcoq-core-ocaml_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 13:13 22611300
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_armel.deb 25-Nov-2020 17:44 11283240
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-dev_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 11277904
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 11282888
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 19407804
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 38995680
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 39296980
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 39694668
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 39318376
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 39448520
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 39237240
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 3780318
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 4119678
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 4016816
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3773636
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 00:56 13289600
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 01:57 13517276
libcoq-ocaml-dev_8.6-4_armel.deb 30-Dec-2016 03:12 14109130
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 03:12 14154936
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 01:57 13323506
libcoq-ocaml-dev_8.6-4_mips.deb 30-Dec-2016 07:57 10052340
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 14:29 10051066
libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 07:57 10053978
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 03:57 10055118
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 05:27 10055160
libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb 06-Feb-2019 20:26 14001864
libcoq-ocaml-dev_8.9.0-1_armel.deb 07-Feb-2019 01:44 7940984
libcoq-ocaml-dev_8.9.0-1_armhf.deb 07-Feb-2019 21:15 14391840
libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788
libcoq-ocaml-dev_8.9.0-1_mips.deb 07-Feb-2019 03:15 7940256
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 7940696
libcoq-ocaml-dev_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 7940648
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 14094956
libcoq-ocaml-dev_8.9.0-1_s390x.deb 06-Feb-2019 20:00 13779508
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_armel.deb 25-Nov-2020 17:44 5460152
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-ocaml_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 5459888
libcoq-ocaml_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 5460088
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 7816032
libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 22482308
libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 23005360
libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 22188364
libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 21667712
libcoq-ocaml_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 22550148
libcoq-ocaml_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 22539552
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 1637886
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 1538216
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 1580148
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1489658
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 00:56 3502166
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 01:57 3479538
libcoq-ocaml_8.6-4_armel.deb 30-Dec-2016 03:12 3515706
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 03:12 3564510
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 01:57 3401658
libcoq-ocaml_8.6-4_mips.deb 30-Dec-2016 07:57 2375002
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 14:29 2373916
libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 07:57 2374348
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 03:57 2374188
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 05:27 2375540
libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112
libcoq-ocaml_8.9.0-1_arm64.deb 06-Feb-2019 20:26 5803688
libcoq-ocaml_8.9.0-1_armel.deb 07-Feb-2019 01:44 3578420
libcoq-ocaml_8.9.0-1_armhf.deb 07-Feb-2019 21:15 5384100
libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088
libcoq-ocaml_8.9.0-1_mips.deb 07-Feb-2019 03:15 3581844
libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 3578092
libcoq-ocaml_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 3581564
libcoq-ocaml_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 5568956
libcoq-ocaml_8.9.0-1_s390x.deb 06-Feb-2019 20:00 5549064
libcoq-stdlib_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 10:11 21526344
libcoq-stdlib_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 11:12 21527600
libcoq-stdlib_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 10:57 21524272
libcoq-stdlib_8.16.1+dfsg-1_i386.deb 29-Nov-2022 09:55 21522760
libcoq-stdlib_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 10:26 21527000
libcoq-stdlib_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 13:13 21526716