Syxpi's Ubuntu Mirror

Contenu du répertoire

• coq-theories_8.11.0-1_amd64.deb

  06/03/2020 08:38 31.55 MB
  Télécharger
• coq-theories_8.4pl3dfsg-1_all.deb

  19/01/2014 23:58 30.49 MB
  Télécharger
• coq-theories_8.4pl4dfsg-3build2_all.deb

  04/11/2015 14:04 30.74 MB
  Télécharger
• coq-theories_8.6-5build1_amd64.deb

  28/10/2017 15:34 31.64 MB
  Télécharger
• coq-theories_8.6-5build1_i386.deb

  28/10/2017 15:34 30.68 MB
  Télécharger
• coq_8.11.0-1.debian.tar.xz

  06/03/2020 07:53 30.93 KB
  Télécharger
• coq_8.11.0-1.dsc

  06/03/2020 07:53 2.44 KB
  Télécharger
• coq_8.11.0-1_amd64.deb

  06/03/2020 08:38 73.04 MB
  Télécharger
• coq_8.15.0+dfsg-2.debian.tar.xz

  05/02/2022 17:49 38.74 KB
  Télécharger
• coq_8.15.0+dfsg-2.dsc

  05/02/2022 17:49 2.54 KB
  Télécharger
• coq_8.15.0+dfsg-2_amd64.deb

  05/02/2022 23:52 90.97 MB
  Télécharger
• coq_8.18.0+dfsg-1build2.debian.tar.xz

  31/03/2024 18:36 32.55 KB
  Télécharger
• coq_8.18.0+dfsg-1build2.dsc

  31/03/2024 18:36 2.62 KB
  Télécharger
• coq_8.18.0+dfsg-1build2_amd64.deb

  31/03/2024 19:32 91.49 MB
  Télécharger
• coq_8.20.1+dfsg-1.debian.tar.xz

  18/02/2025 01:39 29.5 KB
  Télécharger
• coq_8.20.1+dfsg-1.dsc

  18/02/2025 01:39 2.52 KB
  Télécharger
• coq_8.20.1+dfsg-1_amd64.deb

  18/02/2025 01:40 78.16 MB
  Télécharger
• coq_8.20.1+dfsg-1build1.debian.tar.xz

  19/06/2025 11:23 29.56 KB
  Télécharger
• coq_8.20.1+dfsg-1build1.dsc

  19/06/2025 11:23 2.51 KB
  Télécharger
• coq_8.20.1+dfsg-1build1_amd64.deb

  19/06/2025 23:39 77.85 MB
  Télécharger
• coq_8.4pl3dfsg-1.debian.tar.xz

  19/01/2014 23:18 15.43 KB
  Télécharger
• coq_8.4pl3dfsg-1.dsc

  19/01/2014 23:18 2.3 KB
  Télécharger
• coq_8.4pl3dfsg-1_amd64.deb

  19/01/2014 23:58 3.85 MB
  Télécharger
• coq_8.4pl3dfsg-1_i386.deb

  19/01/2014 23:58 3.57 MB
  Télécharger
• coq_8.4pl4dfsg-3build2.debian.tar.xz

  04/11/2015 13:14 15.77 KB
  Télécharger
• coq_8.4pl4dfsg-3build2.dsc

  04/11/2015 13:14 2.34 KB
  Télécharger
• coq_8.4pl4dfsg-3build2_amd64.deb

  04/11/2015 14:04 3.81 MB
  Télécharger
• coq_8.4pl4dfsg-3build2_i386.deb

  04/11/2015 13:39 3.57 MB
  Télécharger
• coq_8.6-5build1.debian.tar.xz

  28/10/2017 14:39 21.35 KB
  Télécharger
• coq_8.6-5build1.dsc

  28/10/2017 14:39 2.35 KB
  Télécharger
• coq_8.6-5build1_amd64.deb

  28/10/2017 15:34 16.86 MB
  Télécharger
• coq_8.6-5build1_i386.deb

  28/10/2017 15:34 16.16 MB
  Télécharger
• coqide_8.11.0-1_amd64.deb

  06/03/2020 08:38 1.68 MB
  Télécharger
• coqide_8.15.0+dfsg-2_amd64.deb

  05/02/2022 23:51 2.28 MB
  Télécharger
• coqide_8.18.0+dfsg-1build2_amd64.deb

  31/03/2024 19:32 2.24 MB
  Télécharger
• coqide_8.20.1+dfsg-1_amd64.deb

  18/02/2025 01:40 2.11 MB
  Télécharger
• coqide_8.20.1+dfsg-1build1_amd64.deb

  19/06/2025 23:39 2.1 MB
  Télécharger
• coqide_8.4pl3dfsg-1_amd64.deb

  19/01/2014 23:58 727.16 KB
  Télécharger
• coqide_8.4pl3dfsg-1_i386.deb

  19/01/2014 23:58 661.64 KB
  Télécharger
• coqide_8.4pl4dfsg-3build2_amd64.deb

  04/11/2015 14:04 731.36 KB
  Télécharger
• coqide_8.4pl4dfsg-3build2_i386.deb

  04/11/2015 13:39 694.95 KB
  Télécharger
• coqide_8.6-5build1_amd64.deb

  28/10/2017 15:34 1.47 MB
  Télécharger
• coqide_8.6-5build1_i386.deb

  28/10/2017 15:34 1.32 MB
  Télécharger
• libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb

  05/02/2022 23:51 42.95 MB
  Télécharger
• libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb

  31/03/2024 19:32 49.03 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb

  18/02/2025 01:40 66.47 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb

  19/06/2025 23:39 66.37 MB
  Télécharger
• libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb

  05/02/2022 23:51 25.82 MB
  Télécharger
• libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb

  31/03/2024 19:32 26.4 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb

  18/02/2025 01:40 25.57 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb

  19/06/2025 23:39 25.54 MB
  Télécharger
• libcoq-ocaml-dev_8.11.0-1_amd64.deb

  06/03/2020 08:38 15.32 MB
  Télécharger
• libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb

  19/01/2014 23:58 3.49 MB
  Télécharger
• libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb

  19/01/2014 23:58 3.48 MB
  Télécharger
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb

  04/11/2015 14:04 3.5 MB
  Télécharger
• libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb

  04/11/2015 13:39 3.56 MB
  Télécharger
• libcoq-ocaml-dev_8.6-5build1_amd64.deb

  28/10/2017 15:34 13.18 MB
  Télécharger
• libcoq-ocaml-dev_8.6-5build1_i386.deb

  28/10/2017 15:34 13.16 MB
  Télécharger
• libcoq-ocaml_8.11.0-1_amd64.deb

  06/03/2020 08:38 6.03 MB
  Télécharger
• libcoq-ocaml_8.4pl3dfsg-1_amd64.deb

  19/01/2014 23:58 1.51 MB
  Télécharger
• libcoq-ocaml_8.4pl3dfsg-1_i386.deb

  19/01/2014 23:58 1.37 MB
  Télécharger
• libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb

  04/11/2015 14:04 1.43 MB
  Télécharger
• libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb

  04/11/2015 13:39 1.33 MB
  Télécharger
• libcoq-ocaml_8.6-5build1_amd64.deb

  28/10/2017 15:34 3.4 MB
  Télécharger
• libcoq-ocaml_8.6-5build1_i386.deb

  28/10/2017 15:34 3.24 MB
  Télécharger
• libcoq-stdlib_8.15.0+dfsg-2_amd64.deb

  05/02/2022 23:51 23.55 MB
  Télécharger
• libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb

  31/03/2024 19:32 25.28 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1_amd64.deb

  18/02/2025 01:40 25.72 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb

  19/06/2025 23:39 25.67 MB
  Télécharger