Syxpi's Debian Mirror

Contenu du répertoire

• agda-bin_2.6.1-1+b2_amd64.deb

  19/08/2020 19:59 8.5 MB
  Télécharger
• agda-bin_2.6.1-1+b2_arm64.deb

  19/08/2020 21:57 9.89 MB
  Télécharger
• agda-bin_2.6.1-1+b2_i386.deb

  19/08/2020 22:58 8.55 MB
  Télécharger
• agda-bin_2.6.2.2-1.1_amd64.deb

  06/12/2022 17:57 7.39 MB
  Télécharger
• agda-bin_2.6.2.2-1.1_mips64el.deb

  06/12/2022 22:12 14.58 MB
  Télécharger
• agda-bin_2.6.2.2-1.1_ppc64el.deb

  06/12/2022 18:28 10.12 MB
  Télécharger
• agda-bin_2.6.2.2-1.1_s390x.deb

  06/12/2022 18:38 19.27 MB
  Télécharger
• agda-bin_2.6.4.3-1+b1_armel.deb

  17/10/2024 02:06 13.33 MB
  Télécharger
• agda-bin_2.6.4.3-1+b2_amd64.deb

  01/02/2025 22:54 9.39 MB
  Télécharger
• agda-bin_2.6.4.3-1+b2_arm64.deb

  14/02/2025 12:31 9.41 MB
  Télécharger
• agda-bin_2.6.4.3-1+b2_i386.deb

  14/02/2025 10:53 14.07 MB
  Télécharger
• agda-bin_2.6.4.3-1_ppc64el.deb

  08/10/2024 11:44 9.02 MB
  Télécharger
• agda-bin_2.6.4.3-1_s390x.deb

  08/10/2024 11:44 18.86 MB
  Télécharger
• agda_2.6.1-1.debian.tar.xz

  29/07/2020 15:40 9.82 KB
  Télécharger
• agda_2.6.1-1.dsc

  29/07/2020 15:40 4.09 KB
  Télécharger
• agda_2.6.1-1_all.deb

  29/07/2020 16:40 28.06 KB
  Télécharger
• agda_2.6.1.orig.tar.gz

  29/07/2020 15:40 2.52 MB
  Télécharger
• agda_2.6.2.2-1.1.debian.tar.xz

  06/12/2022 16:40 10.25 KB
  Télécharger
• agda_2.6.2.2-1.1.dsc

  06/12/2022 16:40 4.32 KB
  Télécharger
• agda_2.6.2.2-1.1_all.deb

  06/12/2022 17:41 12.02 KB
  Télécharger
• agda_2.6.2.2.orig.tar.gz

  06/08/2022 17:04 1.61 MB
  Télécharger
• agda_2.6.4.3-1.debian.tar.xz

  08/10/2024 10:41 10.21 KB
  Télécharger
• agda_2.6.4.3-1.dsc

  08/10/2024 10:41 5.08 KB
  Télécharger
• agda_2.6.4.3-1_all.deb

  08/10/2024 11:23 11.86 KB
  Télécharger
• agda_2.6.4.3.orig.tar.gz

  08/10/2024 10:41 1.78 MB
  Télécharger
• elpa-agda2-mode_2.6.1-1_all.deb

  29/07/2020 16:40 65.25 KB
  Télécharger
• elpa-agda2-mode_2.6.2.2-1.1_all.deb

  06/12/2022 17:41 49.75 KB
  Télécharger
• elpa-agda2-mode_2.6.4.3-1_all.deb

  08/10/2024 11:23 50.11 KB
  Télécharger
• libghc-agda-dev_2.6.1-1+b2_amd64.deb

  19/08/2020 19:59 36.19 MB
  Télécharger
• libghc-agda-dev_2.6.1-1+b2_arm64.deb

  19/08/2020 21:57 42.74 MB
  Télécharger
• libghc-agda-dev_2.6.1-1+b2_i386.deb

  19/08/2020 22:58 36.33 MB
  Télécharger
• libghc-agda-dev_2.6.2.2-1.1_amd64.deb

  06/12/2022 17:57 23.7 MB
  Télécharger
• libghc-agda-dev_2.6.2.2-1.1_mips64el.deb

  06/12/2022 22:12 34.79 MB
  Télécharger
• libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb

  06/12/2022 18:28 34.53 MB
  Télécharger
• libghc-agda-dev_2.6.2.2-1.1_s390x.deb

  06/12/2022 18:38 37.74 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1+b1_armel.deb

  17/10/2024 02:06 29.76 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1+b2_amd64.deb

  01/02/2025 22:54 21.76 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1+b2_arm64.deb

  14/02/2025 12:31 23.34 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1+b2_i386.deb

  14/02/2025 10:53 35.61 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1_ppc64el.deb

  08/10/2024 11:44 29.08 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1_s390x.deb

  08/10/2024 11:44 38.61 MB
  Télécharger
• libghc-agda-doc_2.6.1-1_all.deb

  29/07/2020 16:40 5.53 MB
  Télécharger
• libghc-agda-doc_2.6.2.2-1.1_all.deb

  06/12/2022 17:41 6.29 MB
  Télécharger
• libghc-agda-doc_2.6.4.3-1_all.deb

  08/10/2024 11:23 7.14 MB
  Télécharger