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.3-1.dsc 494413-Oct-2023 19:34
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.2.2-1.1.debian.tar.xz 10K06-Dec-2022 20:40
agda_2.6.3-1.debian.tar.xz 11K13-Oct-2023 19:34
agda_2.6.2.2-1.1_all.deb 12K06-Dec-2022 21:41
agda_2.6.3-1_all.deb 20K13-Oct-2023 20:30
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.3-1_all.deb 58K13-Oct-2023 20:30
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.3.orig.tar.gz 2M13-Oct-2023 19:34
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.3-1_all.deb 7M13-Oct-2023 20:30
agda-bin_2.6.2.2-1.1_amd64.deb 7M06-Dec-2022 21:57
agda-bin_2.5.4.1-3+b1_ppc64el.deb 8M04-Dec-2018 14:43
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.5.4.1-3+b1_mipsel.deb 10M24-Dec-2018 16:25
agda-bin_2.6.3-1+b3_amd64.deb 10M13-Apr-2024 21:30
agda-bin_2.6.3-1+b2_amd64.deb 10M30-Oct-2023 20:22
agda-bin_2.6.3-1+b2_arm64.deb 10M14-Apr-2024 00:10
agda-bin_2.6.3-1+b1_arm64.deb 10M23-Oct-2023 01:29
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.5.4.1-3+b1_mips64el.deb 11M23-Dec-2018 17:59
agda-bin_2.6.3-1+b2_ppc64el.deb 11M30-Oct-2023 20:57
agda-bin_2.6.3-1+b3_ppc64el.deb 11M13-Apr-2024 21:51
agda-bin_2.6.3-1+b1_riscv64.deb 11M29-Dec-2023 00:04
agda-bin_2.6.1-1+b2_ppc64el.deb 12M20-Aug-2020 03:59
agda-bin_2.5.4.1-3+b1_s390x.deb 13M04-Dec-2018 14:54
agda-bin_2.6.3-1_s390x.deb 14M30-Oct-2023 19:47
agda-bin_2.6.3-1+b1_s390x.deb 14M13-Apr-2024 22:22
agda-bin_2.6.2.2-1.1_mips64el.deb 15M07-Dec-2022 02:12
agda-bin_2.6.3-1_i386.deb 15M30-Oct-2023 21:12
agda-bin_2.6.3-1+b1_i386.deb 15M13-Apr-2024 23:29
agda-bin_2.6.3-1_mips64el.deb 15M09-Nov-2023 21:43
agda-bin_2.6.3-1+b1_mips64el.deb 15M14-Apr-2024 12:45
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.2.2-1.1_s390x.deb 19M06-Dec-2022 22:38
libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb 22M24-Dec-2018 16:25
libghc-agda-dev_2.6.3-1+b2_amd64.deb 23M30-Oct-2023 20:22
libghc-agda-dev_2.6.3-1+b3_amd64.deb 23M13-Apr-2024 21:30
agda-bin_2.6.1-1+b3_s390x.deb 23M20-Aug-2020 04:40
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb 23M04-Dec-2018 14:43
libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb 23M23-Dec-2018 17:59
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 24M06-Dec-2022 21:57
libghc-agda-dev_2.6.3-1+b1_arm64.deb 24M23-Oct-2023 01:29
libghc-agda-dev_2.6.3-1+b2_arm64.deb 24M14-Apr-2024 00:10
libghc-agda-dev_2.5.4.1-3+b1_s390x.deb 25M04-Dec-2018 14:54
libghc-agda-dev_2.6.3-1_s390x.deb 32M30-Oct-2023 19:47
libghc-agda-dev_2.6.3-1+b1_s390x.deb 33M13-Apr-2024 22:22
libghc-agda-dev_2.6.3-1+b2_ppc64el.deb 33M30-Oct-2023 20:57
libghc-agda-dev_2.6.3-1+b3_ppc64el.deb 33M13-Apr-2024 21:51
libghc-agda-dev_2.6.3-1+b1_mips64el.deb 33M14-Apr-2024 12:45
libghc-agda-dev_2.6.3-1_mips64el.deb 33M09-Nov-2023 21:43
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.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.3-1+b1_riscv64.deb 37M29-Dec-2023 00:04
libghc-agda-dev_2.6.3-1_i386.deb 37M30-Oct-2023 21:12
libghc-agda-dev_2.6.3-1+b1_i386.deb 37M13-Apr-2024 23:29
libghc-agda-dev_2.6.2.2-1.1_s390x.deb 38M06-Dec-2022 22:38
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