Syxpi's Debian Mirror

Contenu du répertoire

• agda-stdlib-doc_1.3-2_all.deb

  01/08/2020 13:34 2.35 MB
  Télécharger
• agda-stdlib-doc_1.7.1-1_all.deb

  06/08/2022 18:46 2.9 MB
  Télécharger
• agda-stdlib-doc_2.1-4_all.deb

  25/11/2024 19:39 3.6 MB
  Télécharger
• agda-stdlib_1.3-2.debian.tar.xz

  01/08/2020 12:54 5.51 KB
  Télécharger
• agda-stdlib_1.3-2.dsc

  01/08/2020 12:54 2.06 KB
  Télécharger
• agda-stdlib_1.3-2_all.deb

  01/08/2020 13:34 69.84 MB
  Télécharger
• agda-stdlib_1.3.orig.tar.gz

  31/07/2020 11:50 733.8 KB
  Télécharger
• agda-stdlib_1.7.1-1.debian.tar.xz

  06/08/2022 17:10 5.53 KB
  Télécharger
• agda-stdlib_1.7.1-1.dsc

  06/08/2022 17:10 2.11 KB
  Télécharger
• agda-stdlib_1.7.1-1_all.deb

  06/08/2022 18:46 95.41 MB
  Télécharger
• agda-stdlib_1.7.1.orig.tar.gz

  06/08/2022 17:10 918.1 KB
  Télécharger
• agda-stdlib_2.1-4.debian.tar.xz

  25/11/2024 19:03 5.92 KB
  Télécharger
• agda-stdlib_2.1-4.dsc

  25/11/2024 19:03 2.17 KB
  Télécharger
• agda-stdlib_2.1-4_all.deb

  25/11/2024 19:39 137.05 MB
  Télécharger
• agda-stdlib_2.1.orig.tar.gz

  18/10/2024 21:34 1.16 MB
  Télécharger