Syxpi's Debian Mirror

Contenu du répertoire

• coq-theories_8.12.0-3+b3_amd64.deb

  25/11/2020 07:28 34.81 MB
  Télécharger
• coq-theories_8.12.0-3+b3_arm64.deb

  25/11/2020 07:58 22.82 MB
  Télécharger
• coq-theories_8.12.0-3+b3_armhf.deb

  25/11/2020 07:43 22.81 MB
  Télécharger
• coq-theories_8.12.0-3+b3_i386.deb

  25/11/2020 07:18 33.61 MB
  Télécharger
• coq_8.12.0-3+b3_amd64.deb

  25/11/2020 07:28 86.26 MB
  Télécharger
• coq_8.12.0-3+b3_arm64.deb

  25/11/2020 07:58 91.62 MB
  Télécharger
• coq_8.12.0-3+b3_armhf.deb

  25/11/2020 07:43 84.26 MB
  Télécharger
• coq_8.12.0-3+b3_i386.deb

  25/11/2020 07:18 83.81 MB
  Télécharger
• coq_8.12.0-3.debian.tar.xz

  10/09/2020 06:38 36.89 KB
  Télécharger
• coq_8.12.0-3.dsc

  10/09/2020 06:38 2.42 KB
  Télécharger
• coq_8.12.0.orig.tar.gz

  22/08/2020 09:26 5.73 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_amd64.deb

  13/02/2023 01:14 88.89 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_arm64.deb

  13/02/2023 01:55 97.44 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_armhf.deb

  13/02/2023 01:55 85.7 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_i386.deb

  13/02/2023 01:29 83.46 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_ppc64el.deb

  13/02/2023 03:13 89.54 MB
  Télécharger
• coq_8.16.1+dfsg-1+b2_s390x.deb

  13/02/2023 01:45 88.99 MB
  Télécharger
• coq_8.16.1+dfsg-1.debian.tar.xz

  29/11/2022 08:35 32.46 KB
  Télécharger
• coq_8.16.1+dfsg-1.dsc

  29/11/2022 08:35 2.57 KB
  Télécharger
• coq_8.16.1+dfsg.orig.tar.xz

  29/11/2022 08:35 4.5 MB
  Télécharger
• coq_8.20.1+dfsg-1+b1_amd64.deb

  15/06/2025 01:07 66.97 MB
  Télécharger
• coq_8.20.1+dfsg-1+b1_arm64.deb

  15/06/2025 05:17 71 MB
  Télécharger
• coq_8.20.1+dfsg-1+b1_ppc64el.deb

  15/06/2025 05:53 67.57 MB
  Télécharger
• coq_8.20.1+dfsg-1+b1_s390x.deb

  16/06/2025 12:17 67.74 MB
  Télécharger
• coq_8.20.1+dfsg-1+b2_amd64.deb

  27/12/2025 18:30 67.82 MB
  Télécharger
• coq_8.20.1+dfsg-1+b2_arm64.deb

  27/12/2025 17:49 71.42 MB
  Télécharger
• coq_8.20.1+dfsg-1+b2_ppc64el.deb

  27/12/2025 18:40 68.36 MB
  Télécharger
• coq_8.20.1+dfsg-1+b2_s390x.deb

  27/12/2025 20:22 68.8 MB
  Télécharger
• coq_8.20.1+dfsg-1.debian.tar.xz

  17/02/2025 16:37 29.5 KB
  Télécharger
• coq_8.20.1+dfsg-1.dsc

  17/02/2025 16:37 2.52 KB
  Télécharger
• coq_8.20.1+dfsg.orig.tar.xz

  17/02/2025 16:37 4.78 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_amd64.deb

  27/12/2025 18:30 38.32 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_arm64.deb

  27/12/2025 17:44 41.68 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_armhf.deb

  27/12/2025 17:23 22.47 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_i386.deb

  27/12/2025 18:35 22.7 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_ppc64el.deb

  27/12/2025 18:40 38.96 MB
  Télécharger
• coq_9.1.0+dfsg-3+b1_s390x.deb

  27/12/2025 21:19 39.36 MB
  Télécharger
• coq_9.1.0+dfsg-3.debian.tar.xz

  11/11/2025 17:29 23.57 KB
  Télécharger
• coq_9.1.0+dfsg-3.dsc

  11/11/2025 17:29 2.48 KB
  Télécharger
• coq_9.1.0+dfsg.orig.tar.xz

  17/09/2025 16:17 3.66 MB
  Télécharger
• coqide_8.12.0-3+b3_amd64.deb

  25/11/2020 07:28 1.79 MB
  Télécharger
• coqide_8.12.0-3+b3_arm64.deb

  25/11/2020 07:58 2.07 MB
  Télécharger
• coqide_8.12.0-3+b3_armhf.deb

  25/11/2020 07:43 1.66 MB
  Télécharger
• coqide_8.12.0-3+b3_i386.deb

  25/11/2020 07:18 1.64 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_amd64.deb

  13/02/2023 01:14 1.9 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_arm64.deb

  13/02/2023 01:55 2.2 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_armhf.deb

  13/02/2023 01:55 1.75 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_i386.deb

  13/02/2023 01:29 1.72 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_ppc64el.deb

  13/02/2023 03:13 1.98 MB
  Télécharger
• coqide_8.16.1+dfsg-1+b2_s390x.deb

  13/02/2023 01:45 1.89 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b1_amd64.deb

  15/06/2025 01:07 1.84 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b1_arm64.deb

  15/06/2025 05:17 2.14 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b1_ppc64el.deb

  15/06/2025 05:53 1.88 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b1_s390x.deb

  16/06/2025 12:17 1.88 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b2_amd64.deb

  27/12/2025 18:30 1.86 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b2_arm64.deb

  27/12/2025 17:49 2.14 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b2_ppc64el.deb

  27/12/2025 18:40 1.9 MB
  Télécharger
• coqide_8.20.1+dfsg-1+b2_s390x.deb

  27/12/2025 20:22 1.93 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb

  13/02/2023 01:14 40.75 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb

  13/02/2023 01:55 40.84 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb

  13/02/2023 01:55 41.12 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb

  13/02/2023 01:29 40.48 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb

  13/02/2023 03:13 41.54 MB
  Télécharger
• libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb

  13/02/2023 01:45 40.29 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb

  15/06/2025 01:07 65.52 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb

  15/06/2025 05:17 65.39 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb

  15/06/2025 05:53 66.12 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb

  16/06/2025 12:17 65.03 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb

  27/12/2025 18:30 49.6 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deb

  27/12/2025 17:49 49.45 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb

  27/12/2025 18:40 50.22 MB
  Télécharger
• libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb

  27/12/2025 20:22 49.43 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_amd64.deb

  27/12/2025 18:30 51.23 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_arm64.deb

  27/12/2025 17:44 51.1 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb

  27/12/2025 17:23 42.8 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb

  27/12/2025 18:35 42.8 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb

  27/12/2025 18:40 51.92 MB
  Télécharger
• libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb

  27/12/2025 21:19 51.05 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb

  13/02/2023 01:14 21.51 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb

  13/02/2023 01:55 22.02 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb

  13/02/2023 01:55 21.23 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb

  13/02/2023 01:29 20.74 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb

  13/02/2023 03:13 21.57 MB
  Télécharger
• libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb

  13/02/2023 01:45 21.57 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb

  15/06/2025 01:07 24.75 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb

  15/06/2025 05:17 25.17 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb

  15/06/2025 05:53 24.78 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb

  16/06/2025 12:17 24.8 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb

  27/12/2025 18:30 23.09 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deb

  27/12/2025 17:49 23.49 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb

  27/12/2025 18:40 23.12 MB
  Télécharger
• libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb

  27/12/2025 20:22 23.19 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deb

  27/12/2025 18:30 23.82 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_arm64.deb

  27/12/2025 17:44 24.23 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb

  27/12/2025 17:23 16.67 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb

  27/12/2025 18:35 16.68 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb

  27/12/2025 18:40 23.85 MB
  Télécharger
• libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb

  27/12/2025 21:19 23.92 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_amd64.deb

  27/12/2025 18:30 1.09 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_arm64.deb

  27/12/2025 17:44 1.09 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_armhf.deb

  27/12/2025 17:23 1.09 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_i386.deb

  27/12/2025 18:35 1.09 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb

  27/12/2025 18:40 1.09 MB
  Télécharger
• libcoq-core_9.1.0+dfsg-3+b1_s390x.deb

  27/12/2025 21:19 1.08 MB
  Télécharger
• libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb

  25/11/2020 07:28 17.86 MB
  Télécharger
• libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb

  25/11/2020 07:58 17.86 MB
  Télécharger
• libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb

  25/11/2020 07:43 18.31 MB
  Télécharger
• libcoq-ocaml-dev_8.12.0-3+b3_i386.deb

  25/11/2020 07:18 17.79 MB
  Télécharger
• libcoq-ocaml_8.12.0-3+b3_amd64.deb

  25/11/2020 07:28 7.4 MB
  Télécharger
• libcoq-ocaml_8.12.0-3+b3_arm64.deb

  25/11/2020 07:58 7.61 MB
  Télécharger
• libcoq-ocaml_8.12.0-3+b3_armhf.deb

  25/11/2020 07:43 7.38 MB
  Télécharger
• libcoq-ocaml_8.12.0-3+b3_i386.deb

  25/11/2020 07:18 7.22 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb

  13/02/2023 01:14 20.53 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb

  13/02/2023 01:55 20.53 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb

  13/02/2023 01:55 20.53 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb

  13/02/2023 01:29 20.53 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb

  13/02/2023 03:13 20.53 MB
  Télécharger
• libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb

  13/02/2023 01:45 20.53 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb

  15/06/2025 01:07 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb

  15/06/2025 05:17 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb

  15/06/2025 05:53 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb

  16/06/2025 12:17 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb

  27/12/2025 18:30 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb

  27/12/2025 17:49 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb

  27/12/2025 18:40 22.44 MB
  Télécharger
• libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb

  27/12/2025 20:22 22.44 MB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_amd64.deb

  27/12/2025 18:30 1.86 MB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_arm64.deb

  27/12/2025 17:44 2.15 MB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_armhf.deb

  27/12/2025 17:23 555.8 KB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_i386.deb

  27/12/2025 18:35 626.11 KB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_ppc64el.deb

  27/12/2025 18:40 1.9 MB
  Télécharger
• rocqide_9.1.0+dfsg-3+b1_s390x.deb

  27/12/2025 21:19 1.94 MB
  Télécharger