File Name
-
..——
-
coq-theories_8.11.0-1_amd64.deb31.55MB2020-03-06 10:38:19coq-theories_8.4pl3dfsg-1_all.deb30.49MB2014-01-20 01:58:43coq-theories_8.4pl4dfsg-3build2_all.deb30.74MB2015-11-04 16:04:33coq-theories_8.6-5build1_amd64.deb31.64MB2017-10-28 18:34:40coq-theories_8.6-5build1_i386.deb30.68MB2017-10-28 18:34:52coq_8.11.0-1.debian.tar.xz30.93KB2020-03-06 09:53:17coq_8.11.0-1.dsc2.44KB2020-03-06 09:53:16coq_8.11.0-1_amd64.deb73.04MB2020-03-06 10:38:18coq_8.11.0.orig.tar.gz5.56MB2020-03-06 09:53:17coq_8.15.0+dfsg-2.debian.tar.xz38.74KB2022-02-05 19:49:53coq_8.15.0+dfsg-2.dsc2.54KB2022-02-05 19:49:53coq_8.15.0+dfsg-2_amd64.deb90.97MB2022-02-06 01:52:00coq_8.15.0+dfsg.orig.tar.xz4.45MB2022-01-18 01:14:25coq_8.16.1+dfsg-1build2.debian.tar.xz32.54KB2023-02-16 12:06:43coq_8.16.1+dfsg-1build2.dsc2.57KB2023-02-16 12:06:43coq_8.16.1+dfsg-1build2_amd64.deb104.32MB2023-02-16 12:58:17coq_8.16.1+dfsg.orig.tar.xz4.50MB2022-11-29 19:24:12coq_8.18.0+dfsg-1build2.debian.tar.xz32.55KB2024-03-31 21:36:47coq_8.18.0+dfsg-1build2.dsc2.62KB2024-03-31 21:36:47coq_8.18.0+dfsg-1build2_amd64.deb91.49MB2024-03-31 22:32:22coq_8.18.0+dfsg.orig.tar.xz4.64MB2023-12-22 21:46:56coq_8.19.1+dfsg-3build3.debian.tar.xz32.24KB2024-09-07 10:08:51coq_8.19.1+dfsg-3build3.dsc2.51KB2024-09-07 10:08:51coq_8.19.1+dfsg-3build3_amd64.deb96.14MB2024-09-07 10:09:30coq_8.19.1+dfsg.orig.tar.bz25.33MB2024-05-02 14:53:17coq_8.20.0+dfsg-1.debian.tar.xz29.49KB2024-11-20 20:47:28coq_8.20.0+dfsg-1.dsc2.51KB2024-11-20 20:47:28coq_8.20.0+dfsg-1_amd64.deb85.86MB2024-11-20 20:48:17coq_8.20.0+dfsg.orig.tar.xz4.78MB2024-11-20 20:47:28coq_8.4pl3dfsg-1.debian.tar.xz15.43KB2014-01-20 01:18:52coq_8.4pl3dfsg-1.dsc2.30KB2014-01-20 01:18:53coq_8.4pl3dfsg-1_amd64.deb3.85MB2014-01-20 01:58:45coq_8.4pl3dfsg-1_i386.deb3.57MB2014-01-20 01:58:55coq_8.4pl3dfsg.orig.tar.gz3.36MB2014-01-20 01:18:53coq_8.4pl4dfsg-3build2.debian.tar.xz15.77KB2015-11-04 15:14:21coq_8.4pl4dfsg-3build2.dsc2.34KB2015-11-04 15:14:21coq_8.4pl4dfsg-3build2_amd64.deb3.81MB2015-11-04 16:04:34coq_8.4pl4dfsg-3build2_i386.deb3.57MB2015-11-04 15:39:44coq_8.4pl4dfsg.orig.tar.gz3.36MB2014-07-28 02:13:17coq_8.6-5build1.debian.tar.xz21.35KB2017-10-28 17:39:28coq_8.6-5build1.dsc2.35KB2017-10-28 17:39:28coq_8.6-5build1_amd64.deb16.86MB2017-10-28 18:34:41coq_8.6-5build1_i386.deb16.16MB2017-10-28 18:34:51coq_8.6.orig.tar.gz4.78MB2016-12-28 19:13:41coqide_8.11.0-1_amd64.deb1.68MB2020-03-06 10:38:18coqide_8.15.0+dfsg-2_amd64.deb2.28MB2022-02-06 01:51:53coqide_8.16.1+dfsg-1build2_amd64.deb2.23MB2023-02-16 12:58:17coqide_8.18.0+dfsg-1build2_amd64.deb2.24MB2024-03-31 22:32:21coqide_8.19.1+dfsg-3build3_amd64.deb2.33MB2024-09-07 10:09:30coqide_8.20.0+dfsg-1_amd64.deb2.08MB2024-11-20 20:48:17coqide_8.4pl3dfsg-1_amd64.deb727.16KB2014-01-20 01:58:45coqide_8.4pl3dfsg-1_i386.deb661.64KB2014-01-20 01:58:54coqide_8.4pl4dfsg-3build2_amd64.deb731.36KB2015-11-04 16:04:31coqide_8.4pl4dfsg-3build2_i386.deb694.95KB2015-11-04 15:39:44coqide_8.6-5build1_amd64.deb1.47MB2017-10-28 18:34:40coqide_8.6-5build1_i386.deb1.32MB2017-10-28 18:34:51libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb42.95MB2022-02-06 01:51:58libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb47.22MB2023-02-16 12:58:17libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb49.03MB2024-03-31 22:32:21libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb65.07MB2024-09-07 10:09:29libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb67.11MB2024-11-20 20:48:16libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb25.82MB2022-02-06 01:51:56libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb25.66MB2023-02-16 12:58:17libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb26.40MB2024-03-31 22:32:21libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb24.76MB2024-09-07 10:09:30libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb25.50MB2024-11-20 20:48:17libcoq-ocaml-dev_8.11.0-1_amd64.deb15.32MB2020-03-06 10:38:21libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb3.49MB2014-01-20 01:58:43libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb3.48MB2014-01-20 01:58:55libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb3.50MB2015-11-04 16:04:32libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb3.56MB2015-11-04 15:39:45libcoq-ocaml-dev_8.6-5build1_amd64.deb13.18MB2017-10-28 18:34:40libcoq-ocaml-dev_8.6-5build1_i386.deb13.16MB2017-10-28 18:34:50libcoq-ocaml_8.11.0-1_amd64.deb6.03MB2020-03-06 10:38:20libcoq-ocaml_8.4pl3dfsg-1_amd64.deb1.51MB2014-01-20 01:58:43libcoq-ocaml_8.4pl3dfsg-1_i386.deb1.37MB2014-01-20 01:58:54libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb1.43MB2015-11-04 16:04:31libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb1.33MB2015-11-04 15:39:44libcoq-ocaml_8.6-5build1_amd64.deb3.40MB2017-10-28 18:34:39libcoq-ocaml_8.6-5build1_i386.deb3.24MB2017-10-28 18:34:51libcoq-stdlib_8.15.0+dfsg-2_amd64.deb23.55MB2022-02-06 01:51:58libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb23.38MB2023-02-16 12:58:17libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb25.28MB2024-03-31 22:32:20libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb25.77MB2024-09-07 10:09:29libcoq-stdlib_8.20.0+dfsg-1_amd64.deb25.73MB2024-11-20 20:48:16