Index of /debian/pool/main/a/agda/

NameLast ModifiedSize
UpParent Directory
Fileagda-bin_2.5.4.1-3+b1_amd64.deb04-12-2018 10:59 5732k
Fileagda-bin_2.5.4.1-3+b1_arm64.deb04-12-2018 13:27 6624k
Fileagda-bin_2.5.4.1-3+b1_i386.deb04-12-2018 10:43 5808k
Fileagda-bin_2.6.1-1+b2_amd64.deb19-08-2020 19:59 8704k
Fileagda-bin_2.6.1-1+b2_arm64.deb19-08-2020 21:57 10132k
Fileagda-bin_2.6.1-1+b2_i386.deb19-08-2020 22:58 8760k
Fileagda-bin_2.6.1-1+b2_ppc64el.deb19-08-2020 23:59 12040k
Fileagda-bin_2.6.1-1+b3_s390x.deb20-08-2020 00:40 23276k
Fileagda-bin_2.6.2.2-1.1_amd64.deb06-12-2022 17:57 7572k
Fileagda-bin_2.6.2.2-1.1_mips64el.deb06-12-2022 22:12 14936k
Fileagda-bin_2.6.2.2-1.1_ppc64el.deb06-12-2022 18:28 10360k
Fileagda-bin_2.6.2.2-1.1_s390x.deb06-12-2022 18:38 19736k
Fileagda-bin_2.6.3-1+b1_i386.deb13-04-2024 19:29 15012k
Fileagda-bin_2.6.3-1+b1_mips64el.deb14-04-2024 08:45 15700k
Fileagda-bin_2.6.3-1+b1_s390x.deb13-04-2024 18:22 14436k
Fileagda-bin_2.6.3-1+b2_arm64.deb13-04-2024 20:10 10068k
Fileagda-bin_2.6.3-1+b3_amd64.deb13-04-2024 17:30 10012k
Fileagda-bin_2.6.3-1+b3_ppc64el.deb13-04-2024 17:51 11168k
Fileagda-mode_2.5.4.1-3_all.deb20-10-2018 21:57 116k
Fileagda_2.5.4.1-3.debian.tar.xz20-10-2018 20:41 12k
Fileagda_2.5.4.1-3.dsc20-10-2018 20:41 4k
Fileagda_2.5.4.1-3_all.deb20-10-2018 21:57 116k
[CMP]agda_2.5.4.1.orig.tar.gz30-09-2018 10:54 1944k
Fileagda_2.6.1-1.debian.tar.xz29-07-2020 15:40 12k
Fileagda_2.6.1-1.dsc29-07-2020 15:40 8k
Fileagda_2.6.1-1_all.deb29-07-2020 16:40 32k
[CMP]agda_2.6.1.orig.tar.gz29-07-2020 15:40 2588k
Fileagda_2.6.2.2-1.1.debian.tar.xz06-12-2022 16:40 12k
Fileagda_2.6.2.2-1.1.dsc06-12-2022 16:40 8k
Fileagda_2.6.2.2-1.1_all.deb06-12-2022 17:41 16k
[CMP]agda_2.6.2.2.orig.tar.gz06-08-2022 17:04 1652k
Fileagda_2.6.3-1.debian.tar.xz13-10-2023 15:34 12k
Fileagda_2.6.3-1.dsc13-10-2023 15:34 8k
Fileagda_2.6.3-1_all.deb13-10-2023 16:30 20k
[CMP]agda_2.6.3.orig.tar.gz13-10-2023 15:34 1756k
Fileelpa-agda2-mode_2.5.4.1-3_all.deb20-10-2018 21:57 152k
Fileelpa-agda2-mode_2.6.1-1_all.deb29-07-2020 16:40 68k
Fileelpa-agda2-mode_2.6.2.2-1.1_all.deb06-12-2022 17:41 52k
Fileelpa-agda2-mode_2.6.3-1_all.deb13-10-2023 16:30 60k
Filelibghc-agda-dev_2.5.4.1-3+b1_amd64.deb04-12-2018 10:59 16772k
Filelibghc-agda-dev_2.5.4.1-3+b1_arm64.deb04-12-2018 13:27 19276k
Filelibghc-agda-dev_2.5.4.1-3+b1_i386.deb04-12-2018 10:43 16408k
Filelibghc-agda-dev_2.6.1-1+b2_amd64.deb19-08-2020 19:59 37060k
Filelibghc-agda-dev_2.6.1-1+b2_arm64.deb19-08-2020 21:57 43772k
Filelibghc-agda-dev_2.6.1-1+b2_i386.deb19-08-2020 22:58 37200k
Filelibghc-agda-dev_2.6.1-1+b2_ppc64el.deb19-08-2020 23:59 54556k
Filelibghc-agda-dev_2.6.1-1+b3_s390x.deb20-08-2020 00:40 56632k
Filelibghc-agda-dev_2.6.2.2-1.1_amd64.deb06-12-2022 17:57 24272k
Filelibghc-agda-dev_2.6.2.2-1.1_mips64el.deb06-12-2022 22:12 35624k
Filelibghc-agda-dev_2.6.2.2-1.1_ppc64el.deb06-12-2022 18:28 35364k
Filelibghc-agda-dev_2.6.2.2-1.1_s390x.deb06-12-2022 18:38 38648k
Filelibghc-agda-dev_2.6.3-1+b1_i386.deb13-04-2024 19:29 38400k
Filelibghc-agda-dev_2.6.3-1+b1_mips64el.deb14-04-2024 08:45 34228k
Filelibghc-agda-dev_2.6.3-1+b1_s390x.deb13-04-2024 18:22 33380k
Filelibghc-agda-dev_2.6.3-1+b2_arm64.deb13-04-2024 20:10 24844k
Filelibghc-agda-dev_2.6.3-1+b3_amd64.deb13-04-2024 17:30 23100k
Filelibghc-agda-dev_2.6.3-1+b3_ppc64el.deb13-04-2024 17:51 33396k
Filelibghc-agda-doc_2.5.4.1-3_all.deb20-10-2018 21:57 3704k
Filelibghc-agda-doc_2.6.1-1_all.deb29-07-2020 16:40 5664k
Filelibghc-agda-doc_2.6.2.2-1.1_all.deb06-12-2022 17:41 6448k
Filelibghc-agda-doc_2.6.3-1_all.deb13-10-2023 16:30 6796k
Alojado en Chile por Hostenode SpA - https://hnd.cl