ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.4.2.5-1build1_all.deb 296613-Jan-2016 02:59
agda_2.3.2.2-1_all.deb 299606-Nov-2013 21:28
agda_2.5.3-3build1_all.deb 305226-Nov-2017 00:09
agda_2.3.2.2-1.dsc 328306-Nov-2013 21:28
agda-mode_2.5.3-3build1_all.deb 358426-Nov-2017 00:09
agda-mode_2.6.0.1-1build4_all.deb 364408-Feb-2020 17:19
agda_2.6.2.2-1.1build1_all.deb 371612-Dec-2022 14:59
agda_2.6.3-1build1_all.deb 375811-Nov-2023 00:19
agda_2.4.2.5-1build1.dsc 382613-Jan-2016 02:30
agda_2.6.0.1-1build4_all.deb 405608-Feb-2020 17:19
agda_2.6.1-1build2.1_all.deb 413416-Sep-2021 12:28
agda_2.6.0.1-1build4.dsc 429308-Feb-2020 15:38
agda_2.6.1-1build2.1.dsc 429316-Sep-2021 11:39
agda_2.6.2.2-1.1build1.dsc 445012-Dec-2022 14:29
agda_2.5.3-3build1.dsc 457225-Nov-2017 23:15
agda_2.6.3-1build1.dsc 493908-Nov-2023 13:36
agda_2.3.2.2-1.debian.tar.gz 740606-Nov-2013 21:28
agda_2.4.2.5-1build1.debian.tar.xz 784813-Jan-2016 02:30
agda_2.5.3-3build1.debian.tar.xz 980025-Nov-2017 23:15
agda_2.6.0.1-1build4.debian.tar.xz 10K08-Feb-2020 15:38
agda_2.6.1-1build2.1.debian.tar.xz 10K16-Sep-2021 11:39
agda_2.6.2.2-1.1build1.debian.tar.xz 10K12-Dec-2022 14:29
agda_2.6.3-1build1.debian.tar.xz 11K08-Nov-2023 13:36
agda-mode_2.4.2.5-1build1_all.deb 36K13-Jan-2016 02:59
elpa-agda2-mode_2.5.3-3build1_all.deb 40K26-Nov-2017 00:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 40K08-Feb-2020 17:19
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb 44K12-Dec-2022 14:59
elpa-agda2-mode_2.6.1-1build2.1_all.deb 45K16-Sep-2021 12:28
elpa-agda2-mode_2.6.3-1build1_all.deb 45K11-Nov-2023 00:19
agda-mode_2.3.2.2-1_all.deb 47K06-Nov-2013 21:28
agda_2.4.2.5.orig.tar.gz 1007K05-Jan-2016 03:25
agda_2.5.3.orig.tar.gz 1M01-Nov-2017 17:05
agda_2.6.2.2.orig.tar.gz 2M07-Aug-2022 03:19
agda_2.6.3.orig.tar.gz 2M26-Oct-2023 19:43
agda_2.3.2.2.orig.tar.gz 2M06-Nov-2013 21:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 2M13-Jan-2016 02:59
libghc-agda-doc_2.3.2.2-1_all.deb 2M06-Nov-2013 21:28
agda_2.6.0.1.orig.tar.gz 2M01-Sep-2019 16:43
agda_2.6.1.orig.tar.gz 3M30-Jul-2020 03:19
libghc-agda-doc_2.5.3-3build1_all.deb 3M26-Nov-2017 00:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 4M08-Feb-2020 17:19
agda-bin_2.4.2.5-1build1_i386.deb 5M13-Jan-2016 02:45
agda-bin_2.4.2.5-1build1_amd64.deb 5M13-Jan-2016 02:59
agda-bin_2.3.2.2-1_i386.deb 5M06-Nov-2013 21:28
libghc-agda-doc_2.6.1-1build2.1_all.deb 5M16-Sep-2021 12:28
agda-bin_2.3.2.2-1_amd64.deb 5M06-Nov-2013 21:28
agda-bin_2.5.3-3build1_amd64.deb 5M26-Nov-2017 00:09
agda-bin_2.5.3-3build1_i386.deb 5M26-Nov-2017 00:09
libghc-agda-doc_2.6.2.2-1.1build1_all.deb 6M12-Dec-2022 14:59
libghc-agda-doc_2.6.3-1build1_all.deb 6M11-Nov-2023 00:19
agda-bin_2.6.0.1-1build4_amd64.deb 6M08-Feb-2020 17:19
agda-bin_2.6.2.2-1.1build1_amd64.deb 8M12-Dec-2022 14:59
agda-bin_2.6.1-1build2.1_amd64.deb 9M16-Sep-2021 12:28
libghc-agda-dev_2.4.2.5-1build1_i386.deb 10M13-Jan-2016 02:45
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 10M13-Jan-2016 02:59
agda-bin_2.6.3-1build1_amd64.deb 10M11-Nov-2023 00:19
libghc-agda-dev_2.3.2.2-1_i386.deb 12M06-Nov-2013 21:28
libghc-agda-dev_2.3.2.2-1_amd64.deb 13M06-Nov-2013 21:28
libghc-agda-dev_2.5.3-3build1_i386.deb 15M26-Nov-2017 00:09
libghc-agda-dev_2.5.3-3build1_amd64.deb 15M26-Nov-2017 00:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 19M08-Feb-2020 17:19
libghc-agda-dev_2.6.3-1build1_amd64.deb 24M11-Nov-2023 00:19
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb 25M12-Dec-2022 14:59
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 38M16-Sep-2021 12:28