ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.5.4.1-3.dsc 387021-Oct-2018 00:41
agda_2.6.1-1.dsc 418629-Jul-2020 19:40
agda_2.6.2.2-1.1.dsc 442606-Dec-2022 20:40
agda_2.6.4.3-1.dsc 519708-Oct-2024 14:41
agda_2.5.4.1-3.debian.tar.xz 992821-Oct-2018 00:41
agda_2.6.1-1.debian.tar.xz 10K29-Jul-2020 19:40
agda_2.6.4.3-1.debian.tar.xz 10K08-Oct-2024 14:41
agda_2.6.2.2-1.1.debian.tar.xz 10K06-Dec-2022 20:40
agda_2.6.4.3-1_all.deb 12K08-Oct-2024 15:23
agda_2.6.2.2-1.1_all.deb 12K06-Dec-2022 21:41
agda_2.6.1-1_all.deb 28K29-Jul-2020 20:40
elpa-agda2-mode_2.6.2.2-1.1_all.deb 50K06-Dec-2022 21:41
elpa-agda2-mode_2.6.4.3-1_all.deb 50K08-Oct-2024 15:23
elpa-agda2-mode_2.6.1-1_all.deb 65K29-Jul-2020 20:40
agda-mode_2.5.4.1-3_all.deb 115K21-Oct-2018 01:57
agda_2.5.4.1-3_all.deb 115K21-Oct-2018 01:57
elpa-agda2-mode_2.5.4.1-3_all.deb 152K21-Oct-2018 01:57
agda_2.6.2.2.orig.tar.gz 2M06-Aug-2022 21:04
agda_2.6.4.3.orig.tar.gz 2M08-Oct-2024 14:41
agda_2.5.4.1.orig.tar.gz 2M30-Sep-2018 14:54
agda_2.6.1.orig.tar.gz 3M29-Jul-2020 19:40
libghc-agda-doc_2.5.4.1-3_all.deb 4M21-Oct-2018 01:57
libghc-agda-doc_2.6.1-1_all.deb 6M29-Jul-2020 20:40
agda-bin_2.5.4.1-3+b1_amd64.deb 6M04-Dec-2018 14:59
agda-bin_2.5.4.1-3+b1_i386.deb 6M04-Dec-2018 14:43
libghc-agda-doc_2.6.2.2-1.1_all.deb 6M06-Dec-2022 21:41
agda-bin_2.5.4.1-3+b1_arm64.deb 6M04-Dec-2018 17:27
libghc-agda-doc_2.6.4.3-1_all.deb 7M08-Oct-2024 15:23
agda-bin_2.6.2.2-1.1_amd64.deb 7M06-Dec-2022 21:57
agda-bin_2.6.1-1+b2_amd64.deb 8M19-Aug-2020 23:59
agda-bin_2.6.1-1+b2_i386.deb 9M20-Aug-2020 02:58
agda-bin_2.6.4.3-1_ppc64el.deb 9M08-Oct-2024 15:44
agda-bin_2.6.4.3-1_amd64.deb 9M08-Oct-2024 15:17
agda-bin_2.6.4.3-1_arm64.deb 9M08-Oct-2024 17:27
agda-bin_2.6.1-1+b2_arm64.deb 10M20-Aug-2020 01:57
agda-bin_2.6.2.2-1.1_ppc64el.deb 10M06-Dec-2022 22:28
agda-bin_2.6.1-1+b2_ppc64el.deb 12M20-Aug-2020 03:59
agda-bin_2.6.4.3-1_riscv64.deb 12M09-Oct-2024 04:41
agda-bin_2.6.4.3-1+b1_armel.deb 13M17-Oct-2024 06:06
agda-bin_2.6.4.3-1+b1_mips64el.deb 14M18-Oct-2024 15:20
agda-bin_2.6.4.3-1+b1_i386.deb 14M17-Oct-2024 03:33
agda-bin_2.6.2.2-1.1_mips64el.deb 15M07-Dec-2022 02:12
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 16M04-Dec-2018 14:43
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 16M04-Dec-2018 14:59
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 19M04-Dec-2018 17:27
agda-bin_2.6.4.3-1_s390x.deb 19M08-Oct-2024 15:44
agda-bin_2.6.2.2-1.1_s390x.deb 19M06-Dec-2022 22:38
libghc-agda-dev_2.6.4.3-1_amd64.deb 22M08-Oct-2024 15:17
agda-bin_2.6.1-1+b3_s390x.deb 23M20-Aug-2020 04:40
libghc-agda-dev_2.6.4.3-1_arm64.deb 23M08-Oct-2024 17:27
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 24M06-Dec-2022 21:57
libghc-agda-dev_2.6.4.3-1_ppc64el.deb 29M08-Oct-2024 15:44
libghc-agda-dev_2.6.4.3-1+b1_armel.deb 30M17-Oct-2024 06:06
libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb 32M18-Oct-2024 15:20
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb 35M06-Dec-2022 22:28
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb 35M07-Dec-2022 02:12
libghc-agda-dev_2.6.4.3-1+b1_i386.deb 36M17-Oct-2024 03:33
libghc-agda-dev_2.6.1-1+b2_amd64.deb 36M19-Aug-2020 23:59
libghc-agda-dev_2.6.1-1+b2_i386.deb 36M20-Aug-2020 02:58
libghc-agda-dev_2.6.2.2-1.1_s390x.deb 38M06-Dec-2022 22:38
libghc-agda-dev_2.6.4.3-1_s390x.deb 39M08-Oct-2024 15:44
libghc-agda-dev_2.6.4.3-1_riscv64.deb 40M09-Oct-2024 04:41
libghc-agda-dev_2.6.1-1+b2_arm64.deb 43M20-Aug-2020 01:57
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb 53M20-Aug-2020 03:59
libghc-agda-dev_2.6.1-1+b3_s390x.deb 55M20-Aug-2020 04:40