Index of /kali/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.3.pl4+dfsg.orig.tar.gz3.0 MiB2012-Mar-27 07:02
coqide_8.3.pl4+dfsg-2_amd64.deb5.4 MiB2012-Jun-06 06:32
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb5.6 MiB2012-Jun-06 06:32
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2.0 MiB2012-Jun-06 06:32
coq_8.3.pl4+dfsg-2.debian.tar.gz15.9 KiB2012-Jun-06 06:32
coq-theories_8.3.pl4+dfsg-2_all.deb51.9 MiB2012-Jun-06 06:32
coq_8.3.pl4+dfsg-2.dsc2.3 KiB2012-Jun-06 06:32
coq_8.3.pl4+dfsg-2_amd64.deb5.4 MiB2012-Jun-06 06:32
coqide_8.3.pl4+dfsg-2_i386.deb5.0 MiB2012-Jun-06 07:32
coq_8.3.pl4+dfsg-2_i386.deb4.8 MiB2012-Jun-06 07:32
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb1.8 MiB2012-Jun-06 07:32
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb5.5 MiB2012-Jun-06 07:32
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb7.2 MiB2012-Jun-06 10:47
coqide_8.3.pl4+dfsg-2_armel.deb5.9 MiB2012-Jun-06 10:47
coq_8.3.pl4+dfsg-2_armel.deb5.8 MiB2012-Jun-06 10:47
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb521.3 KiB2012-Jun-06 10:47
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb524.2 KiB2012-Jun-06 15:32
coq_8.3.pl4+dfsg-2_armhf.deb1.7 MiB2012-Jun-06 15:32
coqide_8.3.pl4+dfsg-2_armhf.deb2.4 MiB2012-Jun-06 15:32
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb2.4 MiB2012-Jun-06 15:32
coq-theories_8.4pl4dfsg-1_all.deb30.7 MiB2014-Jul-27 15:26
coq_8.4pl4dfsg-1.debian.tar.xz15.3 KiB2014-Jul-27 15:26
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb3.6 MiB2014-Jul-27 15:26
coqide_8.4pl4dfsg-1_amd64.deb778.7 KiB2014-Jul-27 15:26
coq_8.4pl4dfsg-1_amd64.deb3.9 MiB2014-Jul-27 15:26
coq_8.4pl4dfsg.orig.tar.gz3.4 MiB2014-Jul-27 15:26
coq_8.4pl4dfsg-1.dsc2.3 KiB2014-Jul-27 15:26
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb1.6 MiB2014-Jul-27 15:26
coq_8.4pl4dfsg-1_i386.deb3.6 MiB2014-Jul-27 16:57
libcoq-ocaml_8.4pl4dfsg-1_i386.deb1.4 MiB2014-Jul-27 16:57
coqide_8.4pl4dfsg-1_i386.deb713.6 KiB2014-Jul-27 16:57
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb3.6 MiB2014-Jul-27 16:57
coqide_8.4pl4dfsg-1_armel.deb779.7 KiB2014-Jul-27 18:28
libcoq-ocaml_8.4pl4dfsg-1_armel.deb1.5 MiB2014-Jul-27 18:28
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb3.9 MiB2014-Jul-27 18:28
coq_8.4pl4dfsg-1_armel.deb3.7 MiB2014-Jul-27 18:28
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb1.5 MiB2014-Jul-27 21:28
coqide_8.4pl4dfsg-1_armhf.deb803.7 KiB2014-Jul-27 21:28
coq_8.4pl4dfsg-1_armhf.deb3.7 MiB2014-Jul-27 21:28
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb3.8 MiB2014-Jul-27 21:28
coq_8.6.orig.tar.gz4.8 MiB2016-Dec-28 13:44
coq_8.6-4.dsc2.3 KiB2016-Dec-30 00:56
coq_8.6-4.debian.tar.xz21.5 KiB2016-Dec-30 00:56
libcoq-ocaml-dev_8.6-4+b1_i386.deb12.7 MiB2017-Jul-20 13:41
coqide_8.6-4+b1_i386.deb1.3 MiB2017-Jul-20 13:41
coq_8.6-4+b1_i386.deb13.0 MiB2017-Jul-20 13:41
libcoq-ocaml_8.6-4+b1_i386.deb3.2 MiB2017-Jul-20 13:41
coq-theories_8.6-4+b1_i386.deb29.0 MiB2017-Jul-20 13:41
libcoq-ocaml-dev_8.6-4+b1_amd64.deb12.7 MiB2017-Jul-20 13:56
coq-theories_8.6-4+b1_amd64.deb30.0 MiB2017-Jul-20 13:56
coqide_8.6-4+b1_amd64.deb1.3 MiB2017-Jul-20 13:56
coq_8.6-4+b1_amd64.deb13.3 MiB2017-Jul-20 13:56
libcoq-ocaml_8.6-4+b1_amd64.deb3.3 MiB2017-Jul-20 13:56
coqide_8.6-4+b1_arm64.deb1.4 MiB2017-Jul-20 14:26
coq-theories_8.6-4+b1_arm64.deb21.8 MiB2017-Jul-20 14:26
coq_8.6-4+b1_arm64.deb13.2 MiB2017-Jul-20 14:26
libcoq-ocaml-dev_8.6-4+b1_arm64.deb12.9 MiB2017-Jul-20 14:26
libcoq-ocaml_8.6-4+b1_arm64.deb3.3 MiB2017-Jul-20 14:26
coq_8.6-4+b1_armel.deb13.2 MiB2017-Jul-20 17:43
libcoq-ocaml-dev_8.6-4+b1_armel.deb13.5 MiB2017-Jul-20 17:43
coq-theories_8.6-4+b1_armel.deb21.8 MiB2017-Jul-20 17:43
libcoq-ocaml_8.6-4+b1_armel.deb3.4 MiB2017-Jul-20 17:43
coqide_8.6-4+b1_armel.deb1.5 MiB2017-Jul-20 17:43
coq-theories_8.6-4+b1_armhf.deb21.8 MiB2017-Jul-20 18:28
libcoq-ocaml-dev_8.6-4+b1_armhf.deb13.5 MiB2017-Jul-20 18:28
libcoq-ocaml_8.6-4+b1_armhf.deb3.4 MiB2017-Jul-20 18:28
coq_8.6-4+b1_armhf.deb13.3 MiB2017-Jul-20 18:28
coqide_8.6-4+b1_armhf.deb1.5 MiB2017-Jul-20 18:28
coq-theories_8.6-5_amd64.deb31.9 MiB2017-Sep-26 10:04
libcoq-ocaml_8.6-5_amd64.deb3.5 MiB2017-Sep-26 10:04
coqide_8.6-5_amd64.deb1.5 MiB2017-Sep-26 10:04
libcoq-ocaml-dev_8.6-5_amd64.deb13.2 MiB2017-Sep-26 10:04
coq_8.6-5_amd64.deb16.9 MiB2017-Sep-26 10:04
coq_8.6-5.dsc2.4 KiB2017-Sep-26 10:04
coq_8.6-5.debian.tar.xz21.3 KiB2017-Sep-26 10:04
coq-theories_8.6-5_i386.deb30.5 MiB2017-Sep-26 11:14
coq_8.6-5_i386.deb16.2 MiB2017-Sep-26 11:14
coqide_8.6-5_i386.deb1.4 MiB2017-Sep-26 11:14
libcoq-ocaml-dev_8.6-5_i386.deb13.2 MiB2017-Sep-26 11:14
libcoq-ocaml_8.6-5_i386.deb3.3 MiB2017-Sep-26 11:14
coq-theories_8.6-5_arm64.deb21.8 MiB2017-Sep-26 11:45
coq_8.6-5_arm64.deb18.0 MiB2017-Sep-26 11:45
coqide_8.6-5_arm64.deb1.7 MiB2017-Sep-26 11:45
libcoq-ocaml-dev_8.6-5_arm64.deb13.4 MiB2017-Sep-26 11:45
libcoq-ocaml_8.6-5_arm64.deb3.6 MiB2017-Sep-26 11:45
libcoq-ocaml_8.6-5+b1_armhf.deb3.4 MiB2017-Oct-06 12:13
coq-theories_8.6-5+b1_armhf.deb21.8 MiB2017-Oct-06 12:13
coqide_8.6-5+b1_armhf.deb1.4 MiB2017-Oct-06 12:13
libcoq-ocaml-dev_8.6-5+b1_armhf.deb13.7 MiB2017-Oct-06 12:13
coq_8.6-5+b1_armhf.deb16.3 MiB2017-Oct-06 12:13
coqide_8.6-5_armel.deb1.9 MiB2017-Oct-06 17:59
libcoq-ocaml-dev_8.6-5_armel.deb9.5 MiB2017-Oct-06 17:59
libcoq-ocaml_8.6-5_armel.deb2.2 MiB2017-Oct-06 17:59
coq-theories_8.6-5_armel.deb21.8 MiB2017-Oct-06 17:59
coq_8.6-5_armel.deb24.1 MiB2017-Oct-06 17:59
coq_8.9.0-1.debian.tar.xz27.2 KiB2019-Feb-25 12:01
coq_8.9.0.orig.tar.gz5.1 MiB2019-Feb-25 12:01
coq_8.9.0-1.dsc2.4 KiB2019-Feb-25 12:01
coq_8.9.0-1_arm64.deb60.4 MiB2019-Feb-25 12:02
coq-theories_8.9.0-1_arm64.deb19.4 MiB2019-Feb-25 12:02
libcoq-ocaml_8.9.0-1_arm64.deb5.5 MiB2019-Feb-25 12:02
libcoq-ocaml-dev_8.9.0-1_arm64.deb13.4 MiB2019-Feb-25 12:02
coq_8.9.0-1_armhf.deb54.7 MiB2019-Feb-25 12:03
coq-theories_8.9.0-1_armhf.deb19.4 MiB2019-Feb-25 12:03
libcoq-ocaml_8.9.0-1_armhf.deb5.1 MiB2019-Feb-25 12:03
libcoq-ocaml-dev_8.9.0-1_armhf.deb13.7 MiB2019-Feb-25 12:03
coq_8.9.0-1_armel.deb47.7 MiB2019-Feb-25 12:03
coq-theories_8.9.0-1_armel.deb19.4 MiB2019-Feb-25 12:03
libcoq-ocaml_8.9.0-1_armel.deb3.4 MiB2019-Feb-25 12:04
libcoq-ocaml-dev_8.9.0-1_armel.deb7.6 MiB2019-Feb-25 12:04
coq_8.9.0-1_amd64.deb56.3 MiB2019-Feb-25 12:04
coq-theories_8.9.0-1_amd64.deb28.4 MiB2019-Feb-25 12:04
libcoq-ocaml_8.9.0-1_amd64.deb5.2 MiB2019-Feb-25 12:04
libcoq-ocaml-dev_8.9.0-1_amd64.deb13.1 MiB2019-Feb-25 12:04
coq_8.9.0-1_i386.deb53.6 MiB2019-Feb-25 12:05
coq-theories_8.9.0-1_i386.deb27.1 MiB2019-Feb-25 12:05
libcoq-ocaml-dev_8.9.0-1_i386.deb13.1 MiB2019-Feb-25 12:05
libcoq-ocaml_8.9.0-1_i386.deb4.9 MiB2019-Feb-25 12:05
coq_8.9.0-1+b2_i386.deb53.6 MiB2019-Aug-05 16:14
coq-theories_8.9.0-1+b2_i386.deb27.1 MiB2019-Aug-05 16:14
libcoq-ocaml-dev_8.9.0-1+b2_i386.deb13.1 MiB2019-Aug-05 16:14
libcoq-ocaml_8.9.0-1+b2_i386.deb5.0 MiB2019-Aug-05 16:14
coq_8.9.0-1+b2_arm64.deb60.4 MiB2019-Aug-05 16:29
libcoq-ocaml_8.9.0-1+b2_arm64.deb5.6 MiB2019-Aug-05 16:29
coq-theories_8.9.0-1+b2_arm64.deb19.4 MiB2019-Aug-05 16:29
libcoq-ocaml-dev_8.9.0-1+b2_arm64.deb13.4 MiB2019-Aug-05 16:29
coq-theories_8.9.0-1+b2_amd64.deb28.3 MiB2019-Aug-05 16:29
coq_8.9.0-1+b2_amd64.deb56.3 MiB2019-Aug-05 16:29
libcoq-ocaml-dev_8.9.0-1+b2_amd64.deb13.1 MiB2019-Aug-05 16:29
libcoq-ocaml_8.9.0-1+b2_amd64.deb5.3 MiB2019-Aug-05 16:29
coq-theories_8.9.0-1+b2_armhf.deb19.4 MiB2019-Aug-05 18:43
libcoq-ocaml_8.9.0-1+b2_armhf.deb5.2 MiB2019-Aug-05 18:43
libcoq-ocaml-dev_8.9.0-1+b2_armhf.deb13.8 MiB2019-Aug-05 18:43
coq_8.9.0-1+b2_armhf.deb54.8 MiB2019-Aug-05 18:43
coq-theories_8.9.0-1+b2_armel.deb19.4 MiB2019-Aug-05 21:29
libcoq-ocaml_8.9.0-1+b2_armel.deb3.5 MiB2019-Aug-05 21:29
coq_8.9.0-1+b2_armel.deb47.7 MiB2019-Aug-05 21:29
libcoq-ocaml-dev_8.9.0-1+b2_armel.deb7.6 MiB2019-Aug-05 21:29
coq_8.9.1-1.debian.tar.xz28.8 KiB2019-Aug-20 03:27
coq_8.9.1.orig.tar.gz5.1 MiB2019-Aug-20 03:27
coq_8.9.1-1.dsc2.1 KiB2019-Aug-20 03:27
coq-theories_8.9.1-1_i386.deb27.1 MiB2019-Aug-20 04:07
libcoq-ocaml_8.9.1-1_i386.deb5.0 MiB2019-Aug-20 04:07
coq_8.9.1-1_i386.deb53.7 MiB2019-Aug-20 04:07
libcoq-ocaml-dev_8.9.1-1_i386.deb13.1 MiB2019-Aug-20 04:07
libcoq-ocaml_8.9.1-1_armhf.deb5.2 MiB2019-Aug-20 04:28
libcoq-ocaml-dev_8.9.1-1_armhf.deb13.8 MiB2019-Aug-20 04:28
coq-theories_8.9.1-1_armhf.deb19.4 MiB2019-Aug-20 04:28
coq_8.9.1-1_armhf.deb54.8 MiB2019-Aug-20 04:28
coq_8.9.1-1_amd64.deb56.4 MiB2019-Aug-20 04:28
coq-theories_8.9.1-1_amd64.deb28.3 MiB2019-Aug-20 04:28
libcoq-ocaml_8.9.1-1_amd64.deb5.3 MiB2019-Aug-20 04:28
libcoq-ocaml-dev_8.9.1-1_amd64.deb13.1 MiB2019-Aug-20 04:28
libcoq-ocaml_8.9.1-1_arm64.deb5.6 MiB2019-Aug-20 04:43
coq_8.9.1-1_arm64.deb60.5 MiB2019-Aug-20 04:43
libcoq-ocaml-dev_8.9.1-1_arm64.deb13.4 MiB2019-Aug-20 04:43
coq-theories_8.9.1-1_arm64.deb19.4 MiB2019-Aug-20 04:43
coq-theories_8.9.1-1_armel.deb19.4 MiB2019-Aug-20 09:40
libcoq-ocaml_8.9.1-1_armel.deb3.5 MiB2019-Aug-20 09:40
libcoq-ocaml-dev_8.9.1-1_armel.deb7.6 MiB2019-Aug-20 09:40
coq_8.9.1-1_armel.deb47.8 MiB2019-Aug-20 09:40
coq_8.9.1-2.debian.tar.xz28.8 KiB2019-Nov-08 16:20
coq_8.9.1-2.dsc2.1 KiB2019-Nov-08 16:20
libcoq-ocaml_8.9.1-2+b2_i386.deb5.2 MiB2019-Dec-30 05:05
libcoq-ocaml-dev_8.9.1-2+b2_i386.deb13.5 MiB2019-Dec-30 05:05
coq_8.9.1-2+b2_i386.deb56.8 MiB2019-Dec-30 05:05
coq-theories_8.9.1-2+b2_i386.deb27.6 MiB2019-Dec-30 05:05
coq-theories_8.9.1-2+b2_amd64.deb28.8 MiB2019-Dec-30 05:25
coq_8.9.1-2+b2_amd64.deb59.5 MiB2019-Dec-30 05:25
libcoq-ocaml_8.9.1-2+b2_amd64.deb5.4 MiB2019-Dec-30 05:25
libcoq-ocaml-dev_8.9.1-2+b2_amd64.deb13.4 MiB2019-Dec-30 05:25
libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb14.1 MiB2019-Dec-30 06:25
coq-theories_8.9.1-2+b2_armhf.deb19.4 MiB2019-Dec-30 06:25
coq_8.9.1-2+b2_armhf.deb58.0 MiB2019-Dec-30 06:25
libcoq-ocaml_8.9.1-2+b2_armhf.deb5.3 MiB2019-Dec-30 06:25
coq-theories_8.9.1-2+b2_arm64.deb19.4 MiB2019-Dec-30 06:25
coq_8.9.1-2+b2_arm64.deb64.0 MiB2019-Dec-30 06:25
libcoq-ocaml-dev_8.9.1-2+b2_arm64.deb13.8 MiB2019-Dec-30 06:26
libcoq-ocaml_8.9.1-2+b2_arm64.deb5.8 MiB2019-Dec-30 06:26
coq_8.9.1-2+b2_armel.deb52.6 MiB2019-Dec-30 12:27
coq-theories_8.9.1-2+b2_armel.deb19.4 MiB2019-Dec-30 12:27
libcoq-ocaml-dev_8.9.1-2+b2_armel.deb7.9 MiB2019-Dec-30 12:27
libcoq-ocaml_8.9.1-2+b2_armel.deb3.6 MiB2019-Dec-30 12:27
coq_8.11.0-1.debian.tar.xz30.9 KiB2020-Mar-05 21:39
coq_8.11.0-1.dsc2.4 KiB2020-Mar-05 21:39
coq_8.11.0.orig.tar.gz5.6 MiB2020-Mar-05 21:39
coq-theories_8.11.0-1+b1_amd64.deb31.7 MiB2020-Apr-07 15:29
coqide_8.11.0-1+b1_amd64.deb1.6 MiB2020-Apr-07 15:29
libcoq-ocaml_8.11.0-1+b1_amd64.deb6.1 MiB2020-Apr-07 15:29
coq_8.11.0-1+b1_amd64.deb73.0 MiB2020-Apr-07 15:29
libcoq-ocaml-dev_8.11.0-1+b1_amd64.deb15.3 MiB2020-Apr-07 15:29
coq-theories_8.11.0-1+b1_arm64.deb20.4 MiB2020-Apr-07 17:10
coqide_8.11.0-1+b1_arm64.deb2.0 MiB2020-Apr-07 17:10
coq_8.11.0-1+b1_arm64.deb80.0 MiB2020-Apr-07 17:10
libcoq-ocaml-dev_8.11.0-1+b1_arm64.deb15.7 MiB2020-Apr-07 17:10
libcoq-ocaml_8.11.0-1+b1_arm64.deb6.4 MiB2020-Apr-07 17:10
coq_8.12.0.orig.tar.gz5.7 MiB2020-Aug-22 09:26
coq_8.12.0-3.dsc2.4 KiB2020-Sep-10 06:38
coq_8.12.0-3.debian.tar.xz36.9 KiB2020-Sep-10 06:38
coq-theories_8.12.0-3+b1_i386.deb33.8 MiB2020-Oct-02 12:27
libcoq-ocaml_8.12.0-3+b1_i386.deb6.1 MiB2020-Oct-02 12:27
coq_8.12.0-3+b1_i386.deb70.4 MiB2020-Oct-02 12:27
libcoq-ocaml-dev_8.12.0-3+b1_i386.deb15.7 MiB2020-Oct-02 12:27
coqide_8.12.0-3+b1_i386.deb1.5 MiB2020-Oct-02 12:27
coq-theories_8.12.0-3+b1_amd64.deb35.4 MiB2020-Oct-02 12:27
coqide_8.12.0-3+b1_amd64.deb1.7 MiB2020-Oct-02 12:27
libcoq-ocaml_8.12.0-3+b1_amd64.deb6.4 MiB2020-Oct-02 12:27
libcoq-ocaml-dev_8.12.0-3+b1_amd64.deb15.7 MiB2020-Oct-02 12:27
coq_8.12.0-3+b1_amd64.deb75.0 MiB2020-Oct-02 12:27
libcoq-ocaml_8.12.0-3+b1_arm64.deb6.8 MiB2020-Oct-02 12:57
coq_8.12.0-3+b1_arm64.deb81.6 MiB2020-Oct-02 12:57
coqide_8.12.0-3+b1_arm64.deb2.0 MiB2020-Oct-02 12:57
libcoq-ocaml-dev_8.12.0-3+b1_arm64.deb16.1 MiB2020-Oct-02 12:57
coq-theories_8.12.0-3+b1_arm64.deb22.8 MiB2020-Oct-02 12:57
coq-theories_8.12.0-3+b1_armhf.deb22.8 MiB2020-Oct-02 14:28
coq_8.12.0-3+b1_armhf.deb72.2 MiB2020-Oct-02 14:28
libcoq-ocaml_8.12.0-3+b1_armhf.deb6.4 MiB2020-Oct-02 14:28
coqide_8.12.0-3+b1_armhf.deb1.6 MiB2020-Oct-02 14:28
libcoq-ocaml-dev_8.12.0-3+b1_armhf.deb16.5 MiB2020-Oct-02 14:28
coq-theories_8.12.0-3+b1_armel.deb22.8 MiB2020-Oct-02 14:58
libcoq-ocaml_8.12.0-3+b1_armel.deb4.4 MiB2020-Oct-02 14:58
coq_8.12.0-3+b1_armel.deb85.8 MiB2020-Oct-02 14:58
libcoq-ocaml-dev_8.12.0-3+b1_armel.deb9.3 MiB2020-Oct-02 14:58
coqide_8.12.0-3+b1_armel.deb45.7 KiB2020-Oct-02 14:58
coq-theories_8.12.0-3+b3_i386.deb33.6 MiB2020-Nov-25 07:18
coq_8.12.0-3+b3_i386.deb83.8 MiB2020-Nov-25 07:18
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb17.8 MiB2020-Nov-25 07:18
coqide_8.12.0-3+b3_i386.deb1.6 MiB2020-Nov-25 07:18
libcoq-ocaml_8.12.0-3+b3_i386.deb7.2 MiB2020-Nov-25 07:18
coq-theories_8.12.0-3+b3_amd64.deb34.8 MiB2020-Nov-25 07:28
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb17.9 MiB2020-Nov-25 07:28
coqide_8.12.0-3+b3_amd64.deb1.8 MiB2020-Nov-25 07:28
libcoq-ocaml_8.12.0-3+b3_amd64.deb7.4 MiB2020-Nov-25 07:28
coq_8.12.0-3+b3_amd64.deb86.3 MiB2020-Nov-25 07:28
coq_8.12.0-3+b3_armhf.deb84.3 MiB2020-Nov-25 07:43
coqide_8.12.0-3+b3_armhf.deb1.7 MiB2020-Nov-25 07:43
coq-theories_8.12.0-3+b3_armhf.deb22.8 MiB2020-Nov-25 07:43
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb18.3 MiB2020-Nov-25 07:43
libcoq-ocaml_8.12.0-3+b3_armhf.deb7.4 MiB2020-Nov-25 07:43
coq-theories_8.12.0-3+b3_arm64.deb22.8 MiB2020-Nov-25 07:58
coqide_8.12.0-3+b3_arm64.deb2.1 MiB2020-Nov-25 07:58
coq_8.12.0-3+b3_arm64.deb91.6 MiB2020-Nov-25 07:58
libcoq-ocaml_8.12.0-3+b3_arm64.deb7.6 MiB2020-Nov-25 07:58
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb17.9 MiB2020-Nov-25 07:58
coq-theories_8.12.0-3+b3_armel.deb22.8 MiB2020-Nov-25 17:44
coqide_8.12.0-3+b3_armel.deb45.7 KiB2020-Nov-25 17:44
coq_8.12.0-3+b3_armel.deb101.0 MiB2020-Nov-25 17:44
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb10.8 MiB2020-Nov-25 17:44
libcoq-ocaml_8.12.0-3+b3_armel.deb5.2 MiB2020-Nov-25 17:44
coq_8.14.1+dfsg.orig.tar.xz4.4 MiB2021-Dec-11 11:32
coq_8.14.1+dfsg-1.dsc2.9 KiB2021-Dec-11 11:32
coq_8.14.1+dfsg-1.debian.tar.xz39.0 KiB2021-Dec-11 11:32
coq_8.14.1+dfsg-1_amd64.deb74.9 MiB2021-Dec-11 12:12
coqide_8.14.1+dfsg-1_amd64.deb1.8 MiB2021-Dec-11 12:12
libcoq-ocaml_8.14.1+dfsg-1_amd64.deb21.3 MiB2021-Dec-11 12:12
libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb37.1 MiB2021-Dec-11 12:12
coq-theories_8.14.1+dfsg-1_amd64.deb20.7 MiB2021-Dec-11 12:12
coq-theories_8.14.1+dfsg-1_i386.deb20.7 MiB2021-Dec-11 12:13
coqide_8.14.1+dfsg-1_i386.deb1.7 MiB2021-Dec-11 12:13
coq_8.14.1+dfsg-1_i386.deb71.3 MiB2021-Dec-11 12:13
libcoq-ocaml-dev_8.14.1+dfsg-1_i386.deb37.4 MiB2021-Dec-11 12:13
libcoq-ocaml_8.14.1+dfsg-1_i386.deb20.6 MiB2021-Dec-11 12:13
coq_8.14.1+dfsg-1_armhf.deb72.5 MiB2021-Dec-11 12:18
coq-theories_8.14.1+dfsg-1_armhf.deb20.7 MiB2021-Dec-11 12:18
libcoq-ocaml_8.14.1+dfsg-1_armhf.deb21.2 MiB2021-Dec-11 12:18
libcoq-ocaml-dev_8.14.1+dfsg-1_armhf.deb37.8 MiB2021-Dec-11 12:18
coqide_8.14.1+dfsg-1_armhf.deb1.7 MiB2021-Dec-11 12:18
coq_8.14.1+dfsg-1_arm64.deb81.6 MiB2021-Dec-11 12:43
coq-theories_8.14.1+dfsg-1_arm64.deb20.7 MiB2021-Dec-11 12:43
coqide_8.14.1+dfsg-1_arm64.deb2.1 MiB2021-Dec-11 12:43
libcoq-ocaml-dev_8.14.1+dfsg-1_arm64.deb37.3 MiB2021-Dec-11 12:43
libcoq-ocaml_8.14.1+dfsg-1_arm64.deb21.8 MiB2021-Dec-11 12:43
coq_8.15.1+dfsg-1.debian.tar.xz38.8 KiB2022-Mar-22 22:17
coq_8.15.1+dfsg-1.dsc2.5 KiB2022-Mar-22 22:17
coq_8.15.1+dfsg.orig.tar.xz4.5 MiB2022-Mar-22 22:17
libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb21.4 MiB2022-Mar-22 22:58
libcoq-stdlib_8.15.1+dfsg-1_amd64.deb20.4 MiB2022-Mar-22 22:58
coq_8.15.1+dfsg-1_amd64.deb76.7 MiB2022-Mar-22 22:58
coqide_8.15.1+dfsg-1_amd64.deb1.9 MiB2022-Mar-22 22:58
libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb37.2 MiB2022-Mar-22 22:58
coq_8.15.1+dfsg-1_arm64.deb83.8 MiB2022-Mar-22 23:13
libcoq-core-ocaml_8.15.1+dfsg-1_arm64.deb22.0 MiB2022-Mar-22 23:13
libcoq-core-ocaml-dev_8.15.1+dfsg-1_arm64.deb37.5 MiB2022-Mar-22 23:13
libcoq-stdlib_8.15.1+dfsg-1_arm64.deb20.4 MiB2022-Mar-22 23:13
coqide_8.15.1+dfsg-1_arm64.deb2.2 MiB2022-Mar-22 23:13
coqide_8.15.1+dfsg-1_armhf.deb1.8 MiB2022-Mar-22 23:14
coq_8.15.1+dfsg-1_armhf.deb74.1 MiB2022-Mar-22 23:14
libcoq-stdlib_8.15.1+dfsg-1_armhf.deb20.4 MiB2022-Mar-22 23:14
libcoq-core-ocaml-dev_8.15.1+dfsg-1_armhf.deb37.9 MiB2022-Mar-22 23:14
libcoq-core-ocaml_8.15.1+dfsg-1_armhf.deb21.2 MiB2022-Mar-22 23:14
libcoq-stdlib_8.15.1+dfsg-1_i386.deb20.4 MiB2022-Mar-22 23:14
coqide_8.15.1+dfsg-1_i386.deb1.7 MiB2022-Mar-22 23:14
libcoq-core-ocaml_8.15.1+dfsg-1_i386.deb20.7 MiB2022-Mar-22 23:14
coq_8.15.1+dfsg-1_i386.deb73.1 MiB2022-Mar-22 23:14
libcoq-core-ocaml-dev_8.15.1+dfsg-1_i386.deb37.5 MiB2022-Mar-22 23:14
coq_8.15.2+dfsg.orig.tar.xz4.5 MiB2022-May-31 19:52
coq_8.15.2+dfsg-2.debian.tar.xz39.2 KiB2022-Jun-11 20:44
coq_8.15.2+dfsg-2.dsc2.5 KiB2022-Jun-11 20:44
coqide_8.15.2+dfsg-2_amd64.deb1.9 MiB2022-Jun-11 21:42
coq_8.15.2+dfsg-2_amd64.deb76.7 MiB2022-Jun-11 21:42
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb21.4 MiB2022-Jun-11 21:42
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb20.4 MiB2022-Jun-11 21:42
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb40.3 MiB2022-Jun-11 21:42
libcoq-core-ocaml-dev_8.15.2+dfsg-2_i386.deb40.1 MiB2022-Jun-11 21:42
coqide_8.15.2+dfsg-2_i386.deb1.7 MiB2022-Jun-11 21:42
coq_8.15.2+dfsg-2_i386.deb73.1 MiB2022-Jun-11 21:42
libcoq-stdlib_8.15.2+dfsg-2_i386.deb20.4 MiB2022-Jun-11 21:42
libcoq-core-ocaml_8.15.2+dfsg-2_i386.deb20.7 MiB2022-Jun-11 21:42
libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb21.9 MiB2022-Jun-11 21:57
libcoq-stdlib_8.15.2+dfsg-2_arm64.deb20.4 MiB2022-Jun-11 21:57
coqide_8.15.2+dfsg-2_arm64.deb2.2 MiB2022-Jun-11 21:57
coq_8.15.2+dfsg-2_arm64.deb83.8 MiB2022-Jun-11 21:57
libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb40.4 MiB2022-Jun-11 21:57
coqide_8.15.2+dfsg-2_armhf.deb1.8 MiB2022-Jun-11 22:42
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb40.7 MiB2022-Jun-11 22:42
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb20.4 MiB2022-Jun-11 22:42
coq_8.15.2+dfsg-2_armhf.deb74.1 MiB2022-Jun-11 22:42
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb21.2 MiB2022-Jun-11 22:42
coq_8.16.0+dfsg.orig.tar.xz4.5 MiB2022-Sep-06 09:04
coq_8.16.0+dfsg-1.dsc2.6 KiB2022-Sep-06 09:04
coq_8.16.0+dfsg-1.debian.tar.xz32.9 KiB2022-Sep-06 09:04
coqide_8.16.0+dfsg-1_amd64.deb1.9 MiB2022-Sep-06 11:10
coq_8.16.0+dfsg-1_amd64.deb88.9 MiB2022-Sep-06 11:10
libcoq-core-ocaml_8.16.0+dfsg-1_amd64.deb21.5 MiB2022-Sep-06 11:10
libcoq-stdlib_8.16.0+dfsg-1_amd64.deb20.5 MiB2022-Sep-06 11:10
libcoq-core-ocaml-dev_8.16.0+dfsg-1_amd64.deb40.7 MiB2022-Sep-06 11:10
coq_8.16.0+dfsg-1_armhf.deb85.7 MiB2022-Sep-06 11:10
libcoq-core-ocaml_8.16.0+dfsg-1_armhf.deb21.2 MiB2022-Sep-06 11:10
coqide_8.16.0+dfsg-1_armhf.deb1.8 MiB2022-Sep-06 11:10
libcoq-core-ocaml-dev_8.16.0+dfsg-1_armhf.deb41.8 MiB2022-Sep-06 11:10
libcoq-stdlib_8.16.0+dfsg-1_armhf.deb20.5 MiB2022-Sep-06 11:10
libcoq-core-ocaml-dev_8.16.0+dfsg-1_arm64.deb41.9 MiB2022-Sep-06 11:15
coq_8.16.0+dfsg-1_arm64.deb97.4 MiB2022-Sep-06 11:15
coqide_8.16.0+dfsg-1_arm64.deb2.2 MiB2022-Sep-06 11:15
libcoq-core-ocaml_8.16.0+dfsg-1_arm64.deb22.0 MiB2022-Sep-06 11:15
libcoq-stdlib_8.16.0+dfsg-1_arm64.deb20.5 MiB2022-Sep-06 11:15
libcoq-core-ocaml_8.16.0+dfsg-1_i386.deb20.7 MiB2022-Sep-06 12:26
libcoq-stdlib_8.16.0+dfsg-1_i386.deb20.5 MiB2022-Sep-06 12:26
coq_8.16.0+dfsg-1_i386.deb83.5 MiB2022-Sep-06 12:26
coqide_8.16.0+dfsg-1_i386.deb1.7 MiB2022-Sep-06 12:26
libcoq-core-ocaml-dev_8.16.0+dfsg-1_i386.deb40.5 MiB2022-Sep-06 12:26
coq_8.16.1+dfsg-1.dsc2.6 KiB2022-Nov-29 08:35
coq_8.16.1+dfsg.orig.tar.xz4.5 MiB2022-Nov-29 08:35
coq_8.16.1+dfsg-1.debian.tar.xz32.5 KiB2022-Nov-29 08:35
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb40.7 MiB2023-Feb-13 01:14
coqide_8.16.1+dfsg-1+b2_amd64.deb1.9 MiB2023-Feb-13 01:14
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb21.5 MiB2023-Feb-13 01:14
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb20.5 MiB2023-Feb-13 01:14
coq_8.16.1+dfsg-1+b2_amd64.deb88.9 MiB2023-Feb-13 01:14
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb40.5 MiB2023-Feb-13 01:29
coq_8.16.1+dfsg-1+b2_i386.deb83.5 MiB2023-Feb-13 01:29
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb20.5 MiB2023-Feb-13 01:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb20.7 MiB2023-Feb-13 01:29
coqide_8.16.1+dfsg-1+b2_i386.deb1.7 MiB2023-Feb-13 01:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb21.2 MiB2023-Feb-13 01:55
coqide_8.16.1+dfsg-1+b2_armhf.deb1.7 MiB2023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_armhf.deb85.7 MiB2023-Feb-13 01:55
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb20.5 MiB2023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb41.1 MiB2023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_arm64.deb97.4 MiB2023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb40.8 MiB2023-Feb-13 01:55
coqide_8.16.1+dfsg-1+b2_arm64.deb2.2 MiB2023-Feb-13 01:55
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb20.5 MiB2023-Feb-13 01:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb22.0 MiB2023-Feb-13 01:55
coq_8.17.0+dfsg-1.debian.tar.xz32.3 KiB2023-Jun-12 07:05
coq_8.17.0+dfsg.orig.tar.xz4.6 MiB2023-Jun-12 07:05
coq_8.17.0+dfsg-1.dsc2.6 KiB2023-Jun-12 07:05
coqide_8.17.0+dfsg-1_amd64.deb1.9 MiB2023-Jun-12 08:12
coq_8.17.0+dfsg-1_amd64.deb75.0 MiB2023-Jun-12 08:12
libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb41.1 MiB2023-Jun-12 08:12
libcoq-stdlib_8.17.0+dfsg-1_amd64.deb23.9 MiB2023-Jun-12 08:12
libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb21.7 MiB2023-Jun-12 08:12
coq_8.17.0+dfsg-1_i386.deb70.9 MiB2023-Jun-12 09:12
coqide_8.17.0+dfsg-1_i386.deb1.7 MiB2023-Jun-12 09:12
libcoq-core-ocaml_8.17.0+dfsg-1_i386.deb20.9 MiB2023-Jun-12 09:12
libcoq-stdlib_8.17.0+dfsg-1_i386.deb23.9 MiB2023-Jun-12 09:12
libcoq-core-ocaml-dev_8.17.0+dfsg-1_i386.deb40.9 MiB2023-Jun-12 09:12
libcoq-core-ocaml-dev_8.17.0+dfsg-1_armhf.deb41.5 MiB2023-Jun-12 20:02
coqide_8.17.0+dfsg-1_armhf.deb1.7 MiB2023-Jun-12 20:02
libcoq-stdlib_8.17.0+dfsg-1_armhf.deb23.9 MiB2023-Jun-12 20:02
libcoq-core-ocaml_8.17.0+dfsg-1_armhf.deb21.4 MiB2023-Jun-12 20:02
coq_8.17.0+dfsg-1_armhf.deb72.6 MiB2023-Jun-12 20:02
libcoq-stdlib_8.17.0+dfsg-1_arm64.deb23.9 MiB2023-Jun-13 04:34
coq_8.17.0+dfsg-1_arm64.deb81.2 MiB2023-Jun-13 04:34
libcoq-core-ocaml-dev_8.17.0+dfsg-1_arm64.deb41.2 MiB2023-Jun-13 04:34
coqide_8.17.0+dfsg-1_arm64.deb2.2 MiB2023-Jun-13 04:34
libcoq-core-ocaml_8.17.0+dfsg-1_arm64.deb22.2 MiB2023-Jun-13 04:34
coqide_8.17.0+dfsg-1+b3_amd64.deb1.9 MiB2023-Sep-22 06:56
coq_8.17.0+dfsg-1+b3_amd64.deb76.6 MiB2023-Sep-22 06:56
libcoq-stdlib_8.17.0+dfsg-1+b3_amd64.deb23.9 MiB2023-Sep-22 06:56
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_amd64.deb41.4 MiB2023-Sep-22 06:56
libcoq-core-ocaml_8.17.0+dfsg-1+b3_amd64.deb21.7 MiB2023-Sep-22 06:56
libcoq-stdlib_8.17.0+dfsg-1+b3_i386.deb23.9 MiB2023-Sep-22 07:01
coqide_8.17.0+dfsg-1+b3_i386.deb1.7 MiB2023-Sep-22 07:01
libcoq-core-ocaml_8.17.0+dfsg-1+b3_i386.deb21.0 MiB2023-Sep-22 07:01
coq_8.17.0+dfsg-1+b3_i386.deb72.4 MiB2023-Sep-22 07:01
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_i386.deb41.1 MiB2023-Sep-22 07:01
coqide_8.17.0+dfsg-1+b3_armhf.deb1.7 MiB2023-Sep-22 07:16
coq_8.17.0+dfsg-1+b3_armhf.deb73.8 MiB2023-Sep-22 07:16
libcoq-core-ocaml_8.17.0+dfsg-1+b3_armhf.deb21.4 MiB2023-Sep-22 07:16
libcoq-stdlib_8.17.0+dfsg-1+b3_armhf.deb23.9 MiB2023-Sep-22 07:16
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_armhf.deb41.8 MiB2023-Sep-22 07:16
coqide_8.17.0+dfsg-1+b3_arm64.deb2.2 MiB2023-Sep-22 07:57
coq_8.17.0+dfsg-1+b3_arm64.deb82.7 MiB2023-Sep-22 07:57
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_arm64.deb41.4 MiB2023-Sep-22 07:57
libcoq-core-ocaml_8.17.0+dfsg-1+b3_arm64.deb22.2 MiB2023-Sep-22 07:57
libcoq-stdlib_8.17.0+dfsg-1+b3_arm64.deb23.9 MiB2023-Sep-22 07:57
coq_8.18.0+dfsg-1.dsc2.5 KiB2023-Dec-21 13:58
coq_8.18.0+dfsg.orig.tar.xz4.6 MiB2023-Dec-21 13:58
coq_8.18.0+dfsg-1.debian.tar.xz32.4 KiB2023-Dec-21 13:58
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb42.5 MiB2023-Dec-21 15:19
coqide_8.18.0+dfsg-1_arm64.deb2.2 MiB2023-Dec-21 15:19
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb22.7 MiB2023-Dec-21 15:19
coq_8.18.0+dfsg-1_arm64.deb84.0 MiB2023-Dec-21 15:19
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb22.2 MiB2023-Dec-21 15:19
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb42.7 MiB2023-Dec-21 15:24
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb22.2 MiB2023-Dec-21 15:24
coq_8.18.0+dfsg-1_armhf.deb74.8 MiB2023-Dec-21 15:24
coqide_8.18.0+dfsg-1_armhf.deb1.8 MiB2023-Dec-21 15:24
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb21.9 MiB2023-Dec-21 15:24
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb42.4 MiB2023-Dec-21 17:16
coq_8.18.0+dfsg-1_amd64.deb77.9 MiB2023-Dec-21 17:16
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb22.2 MiB2023-Dec-21 17:16
coqide_8.18.0+dfsg-1_amd64.deb1.9 MiB2023-Dec-21 17:16
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb22.1 MiB2023-Dec-21 17:16
coq_8.18.0+dfsg-1_i386.deb73.6 MiB2023-Dec-21 18:21
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb21.4 MiB2023-Dec-21 18:21
coqide_8.18.0+dfsg-1_i386.deb1.7 MiB2023-Dec-21 18:21
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb42.1 MiB2023-Dec-21 18:21
libcoq-stdlib_8.18.0+dfsg-1_i386.deb22.2 MiB2023-Dec-21 18:21
coq_8.19.1+dfsg.orig.tar.bz25.3 MiB2024-Apr-26 13:46
coq_8.19.1+dfsg-2.dsc2.3 KiB2024-Jun-15 06:05
coq_8.19.1+dfsg-2.debian.tar.xz32.1 KiB2024-Jun-15 06:05
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb43.5 MiB2024-Jun-15 06:46
coqide_8.19.1+dfsg-2_amd64.deb1.9 MiB2024-Jun-15 06:46
coq_8.19.1+dfsg-2_amd64.deb78.6 MiB2024-Jun-15 06:46
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb22.1 MiB2024-Jun-15 06:46
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb22.6 MiB2024-Jun-15 06:46
coqide_8.19.1+dfsg-2_i386.deb1.7 MiB2024-Jun-15 06:47
coq_8.19.1+dfsg-2_i386.deb75.3 MiB2024-Jun-15 06:47
libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb21.6 MiB2024-Jun-15 06:47
libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb43.3 MiB2024-Jun-15 06:47
libcoq-stdlib_8.19.1+dfsg-2_i386.deb22.6 MiB2024-Jun-15 06:47
libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb43.8 MiB2024-Jun-15 06:47
libcoq-stdlib_8.19.1+dfsg-2_armhf.deb22.6 MiB2024-Jun-15 06:47
coq_8.19.1+dfsg-2_armhf.deb75.7 MiB2024-Jun-15 06:47
coqide_8.19.1+dfsg-2_armhf.deb1.8 MiB2024-Jun-15 06:47
libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb22.0 MiB2024-Jun-15 06:47
coqide_8.19.1+dfsg-2_arm64.deb2.2 MiB2024-Jun-15 07:02
libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb43.5 MiB2024-Jun-15 07:02
libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb22.6 MiB2024-Jun-15 07:02
libcoq-stdlib_8.19.1+dfsg-2_arm64.deb22.6 MiB2024-Jun-15 07:02
coq_8.19.1+dfsg-2_arm64.deb83.8 MiB2024-Jun-15 07:02