Syxpi's Debian Mirror

Contenu du répertoire

• coq-reduction-effects_0.1.4-3.debian.tar.xz

  25/01/2023 07:47 1.54 KB
  Télécharger
• coq-reduction-effects_0.1.4-3.dsc

  25/01/2023 07:47 2.16 KB
  Télécharger
• coq-reduction-effects_0.1.4.orig.tar.gz

  13/08/2022 05:08 10.05 KB
  Télécharger
• coq-reduction-effects_0.1.5-5.debian.tar.xz

  04/08/2024 03:53 1.83 KB
  Télécharger
• coq-reduction-effects_0.1.5-5.dsc

  04/08/2024 03:53 1.95 KB
  Télécharger
• coq-reduction-effects_0.1.5.orig.tar.gz

  22/12/2023 10:16 10.13 KB
  Télécharger
• coq-reduction-effects_0.1.6-1.debian.tar.xz

  29/10/2025 08:39 1.87 KB
  Télécharger
• coq-reduction-effects_0.1.6-1.dsc

  29/10/2025 08:39 2.17 KB
  Télécharger
• coq-reduction-effects_0.1.6-2.debian.tar.xz

  11/11/2025 17:45 1.91 KB
  Télécharger
• coq-reduction-effects_0.1.6-2.dsc

  11/11/2025 17:45 2.17 KB
  Télécharger
• coq-reduction-effects_0.1.6.orig.tar.gz

  29/10/2025 08:39 10.19 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_amd64.deb

  13/02/2023 05:11 14.12 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_arm64.deb

  13/02/2023 05:11 14.26 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_armhf.deb

  13/02/2023 05:26 13.69 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_i386.deb

  13/02/2023 05:16 13.63 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb

  13/02/2023 05:27 14.42 KB
  Télécharger
• libcoq-reduction-effects_0.1.4-3+b1_s390x.deb

  13/02/2023 05:11 13.88 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b7_arm64.deb

  15/06/2025 10:55 15.45 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b7_s390x.deb

  16/06/2025 18:19 15.26 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b8_amd64.deb

  15/06/2025 10:49 15.32 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b8_arm64.deb

  28/12/2025 04:20 15.44 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b8_ppc64el.deb

  15/06/2025 10:44 15.42 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b8_s390x.deb

  28/12/2025 04:20 15.3 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b9_amd64.deb

  28/12/2025 04:20 15.29 KB
  Télécharger
• libcoq-reduction-effects_0.1.5-5+b9_ppc64el.deb

  28/12/2025 04:20 15.45 KB
  Télécharger
• libcoq-reduction-effects_0.1.6-1_arm64.deb

  29/10/2025 12:16 15.16 KB
  Télécharger
• libcoq-reduction-effects_0.1.6-1_ppc64el.deb

  29/10/2025 12:16 15.14 KB
  Télécharger
• libcoq-reduction-effects_0.1.6-1_s390x.deb

  29/10/2025 13:48 14.98 KB
  Télécharger
• libcoq-reduction-effects_0.1.6-2_amd64.deb

  11/11/2025 17:45 15.38 KB
  Télécharger