Syxpi's Ubuntu Mirror

Contenu du répertoire

• agda-bin_2.3.2.2-1_amd64.deb

  06/11/2013 17:28 5.22 MB
  Télécharger
• agda-bin_2.3.2.2-1_i386.deb

  06/11/2013 17:28 4.86 MB
  Télécharger
• agda-bin_2.4.2.5-1build1_amd64.deb

  12/01/2016 22:59 4.58 MB
  Télécharger
• agda-bin_2.4.2.5-1build1_i386.deb

  12/01/2016 22:45 4.56 MB
  Télécharger
• agda-bin_2.5.3-3build1_amd64.deb

  25/11/2017 20:09 5.46 MB
  Télécharger
• agda-bin_2.5.3-3build1_i386.deb

  25/11/2017 20:09 5.47 MB
  Télécharger
• agda-bin_2.6.0.1-1build4_amd64.deb

  08/02/2020 13:19 6.27 MB
  Télécharger
• agda-bin_2.6.1-1build2.1_amd64.deb

  16/09/2021 08:28 9.1 MB
  Télécharger
• agda-bin_2.6.3-1build1_amd64.deb

  10/11/2023 20:19 10.48 MB
  Télécharger
• agda-bin_2.6.4.3-1_amd64.deb

  25/10/2024 21:15 10.05 MB
  Télécharger
• agda-bin_2.6.4.3-1build1_amd64.deb

  01/11/2025 18:57 10.05 MB
  Télécharger
• agda-bin_2.6.4.3-1build1_amd64v3.deb

  01/11/2025 18:57 10.05 MB
  Télécharger
• agda-mode_2.3.2.2-1_all.deb

  06/11/2013 17:28 46.95 KB
  Télécharger
• agda-mode_2.4.2.5-1build1_all.deb

  12/01/2016 22:59 36.4 KB
  Télécharger
• agda-mode_2.5.3-3build1_all.deb

  25/11/2017 20:09 3.5 KB
  Télécharger
• agda-mode_2.6.0.1-1build4_all.deb

  08/02/2020 13:19 3.56 KB
  Télécharger
• agda_2.3.2.2-1.debian.tar.gz

  06/11/2013 17:28 7.23 KB
  Télécharger
• agda_2.3.2.2-1.dsc

  06/11/2013 17:28 3.21 KB
  Télécharger
• agda_2.3.2.2-1_all.deb

  06/11/2013 17:28 2.93 KB
  Télécharger
• agda_2.4.2.5-1build1.debian.tar.xz

  12/01/2016 22:30 7.66 KB
  Télécharger
• agda_2.4.2.5-1build1.dsc

  12/01/2016 22:30 3.74 KB
  Télécharger
• agda_2.4.2.5-1build1_all.deb

  12/01/2016 22:59 2.9 KB
  Télécharger
• agda_2.5.3-3build1.debian.tar.xz

  25/11/2017 19:15 9.57 KB
  Télécharger
• agda_2.5.3-3build1.dsc

  25/11/2017 19:15 4.46 KB
  Télécharger
• agda_2.5.3-3build1_all.deb

  25/11/2017 20:09 2.98 KB
  Télécharger
• agda_2.6.0.1-1build4.debian.tar.xz

  08/02/2020 11:38 9.98 KB
  Télécharger
• agda_2.6.0.1-1build4.dsc

  08/02/2020 11:38 4.19 KB
  Télécharger
• agda_2.6.0.1-1build4_all.deb

  08/02/2020 13:19 3.96 KB
  Télécharger
• agda_2.6.1-1build2.1.debian.tar.xz

  16/09/2021 07:39 9.99 KB
  Télécharger
• agda_2.6.1-1build2.1.dsc

  16/09/2021 07:39 4.19 KB
  Télécharger
• agda_2.6.1-1build2.1_all.deb

  16/09/2021 08:28 4.04 KB
  Télécharger
• agda_2.6.3-1build1.debian.tar.xz

  08/11/2023 09:36 11.36 KB
  Télécharger
• agda_2.6.3-1build1.dsc

  08/11/2023 09:36 4.82 KB
  Télécharger
• agda_2.6.3-1build1_all.deb

  10/11/2023 20:19 3.67 KB
  Télécharger
• agda_2.6.4.3-1.debian.tar.xz

  25/10/2024 19:11 10.21 KB
  Télécharger
• agda_2.6.4.3-1.dsc

  25/10/2024 19:11 5.08 KB
  Télécharger
• agda_2.6.4.3-1_all.deb

  25/10/2024 21:15 3.65 KB
  Télécharger
• agda_2.6.4.3-1build1.debian.tar.xz

  01/11/2025 08:04 10.26 KB
  Télécharger
• agda_2.6.4.3-1build1.dsc

  01/11/2025 08:04 5.07 KB
  Télécharger
• agda_2.6.4.3-1build1_all.deb

  01/11/2025 18:57 3.75 KB
  Télécharger
• elpa-agda2-mode_2.5.3-3build1_all.deb

  25/11/2017 20:09 39.89 KB
  Télécharger
• elpa-agda2-mode_2.6.0.1-1build4_all.deb

  08/02/2020 13:19 40.21 KB
  Télécharger
• elpa-agda2-mode_2.6.1-1build2.1_all.deb

  16/09/2021 08:28 45.09 KB
  Télécharger
• elpa-agda2-mode_2.6.3-1build1_all.deb

  10/11/2023 20:19 45.17 KB
  Télécharger
• elpa-agda2-mode_2.6.4.3-1_all.deb

  25/10/2024 21:15 45.25 KB
  Télécharger
• elpa-agda2-mode_2.6.4.3-1build1_all.deb

  01/11/2025 18:57 45.35 KB
  Télécharger
• libghc-agda-dev_2.3.2.2-1_amd64.deb

  06/11/2013 17:28 12.96 MB
  Télécharger
• libghc-agda-dev_2.3.2.2-1_i386.deb

  06/11/2013 17:28 12.31 MB
  Télécharger
• libghc-agda-dev_2.4.2.5-1build1_amd64.deb

  12/01/2016 22:59 10.18 MB
  Télécharger
• libghc-agda-dev_2.4.2.5-1build1_i386.deb

  12/01/2016 22:45 10.05 MB
  Télécharger
• libghc-agda-dev_2.5.3-3build1_amd64.deb

  25/11/2017 20:09 15.14 MB
  Télécharger
• libghc-agda-dev_2.5.3-3build1_i386.deb

  25/11/2017 20:09 14.87 MB
  Télécharger
• libghc-agda-dev_2.6.0.1-1build4_amd64.deb

  08/02/2020 13:19 18.77 MB
  Télécharger
• libghc-agda-dev_2.6.1-1build2.1_amd64.deb

  16/09/2021 08:28 38.39 MB
  Télécharger
• libghc-agda-dev_2.6.3-1build1_amd64.deb

  10/11/2023 20:19 24.3 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1_amd64.deb

  25/10/2024 21:15 23.05 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1build1_amd64.deb

  01/11/2025 18:57 23.02 MB
  Télécharger
• libghc-agda-dev_2.6.4.3-1build1_amd64v3.deb

  01/11/2025 18:57 23.02 MB
  Télécharger
• libghc-agda-doc_2.3.2.2-1_all.deb

  06/11/2013 17:28 2.09 MB
  Télécharger
• libghc-agda-doc_2.4.2.5-1build1_all.deb

  12/01/2016 22:59 2.08 MB
  Télécharger
• libghc-agda-doc_2.5.3-3build1_all.deb

  25/11/2017 20:09 2.62 MB
  Télécharger
• libghc-agda-doc_2.6.0.1-1build4_all.deb

  08/02/2020 13:19 4.01 MB
  Télécharger
• libghc-agda-doc_2.6.1-1build2.1_all.deb

  16/09/2021 08:28 5.15 MB
  Télécharger
• libghc-agda-doc_2.6.3-1build1_all.deb

  10/11/2023 20:19 6 MB
  Télécharger
• libghc-agda-doc_2.6.4.3-1_all.deb

  25/10/2024 21:15 6.38 MB
  Télécharger
• libghc-agda-doc_2.6.4.3-1build1_all.deb

  01/11/2025 18:57 6.38 MB
  Télécharger