Index of /ubuntu/pool/universe/a/agda/

File NameFile SizeDate
Parent directory/--
agda-bin_2.3.2.2-1_amd64.deb 5M06-Nov-2013 17:28
agda-bin_2.3.2.2-1_i386.deb 5M06-Nov-2013 17:28
agda-bin_2.4.2.5-1build1_amd64.deb 5M12-Jan-2016 22:59
agda-bin_2.4.2.5-1build1_i386.deb 5M12-Jan-2016 22:45
agda-bin_2.5.3-3build1_amd64.deb 5M25-Nov-2017 20:09
agda-bin_2.5.3-3build1_i386.deb 5M25-Nov-2017 20:09
agda-bin_2.6.0.1-1build4_amd64.deb 6M08-Feb-2020 13:19
agda-bin_2.6.1-1build2.1_amd64.deb 9M16-Sep-2021 08:28
agda-bin_2.6.3-1build1_amd64.deb 10M10-Nov-2023 20:19
agda-bin_2.6.3-2_amd64.deb 10M07-Sep-2024 06:18
agda-bin_2.6.4.3-1_amd64.deb 10M25-Oct-2024 21:15
agda-mode_2.3.2.2-1_all.deb 47K06-Nov-2013 17:28
agda-mode_2.4.2.5-1build1_all.deb 36K12-Jan-2016 22:59
agda-mode_2.5.3-3build1_all.deb 358425-Nov-2017 20:09
agda-mode_2.6.0.1-1build4_all.deb 364408-Feb-2020 13:19
agda_2.3.2.2-1.debian.tar.gz 740606-Nov-2013 17:28
agda_2.3.2.2-1.dsc 328306-Nov-2013 17:28
agda_2.3.2.2-1_all.deb 299606-Nov-2013 17:28
agda_2.3.2.2.orig.tar.gz 2M06-Nov-2013 17:28
agda_2.4.2.5-1build1.debian.tar.xz 784812-Jan-2016 22:30
agda_2.4.2.5-1build1.dsc 382612-Jan-2016 22:30
agda_2.4.2.5-1build1_all.deb 296612-Jan-2016 22:59
agda_2.4.2.5.orig.tar.gz 1007K04-Jan-2016 23:25
agda_2.5.3-3build1.debian.tar.xz 980025-Nov-2017 19:15
agda_2.5.3-3build1.dsc 457225-Nov-2017 19:15
agda_2.5.3-3build1_all.deb 305225-Nov-2017 20:09
agda_2.5.3.orig.tar.gz 1M01-Nov-2017 13:05
agda_2.6.0.1-1build4.debian.tar.xz 10K08-Feb-2020 11:38
agda_2.6.0.1-1build4.dsc 429308-Feb-2020 11:38
agda_2.6.0.1-1build4_all.deb 405608-Feb-2020 13:19
agda_2.6.0.1.orig.tar.gz 2M01-Sep-2019 12:43
agda_2.6.1-1build2.1.debian.tar.xz 10K16-Sep-2021 07:39
agda_2.6.1-1build2.1.dsc 429316-Sep-2021 07:39
agda_2.6.1-1build2.1_all.deb 413416-Sep-2021 08:28
agda_2.6.1.orig.tar.gz 3M29-Jul-2020 23:19
agda_2.6.3-1build1.debian.tar.xz 11K08-Nov-2023 09:36
agda_2.6.3-1build1.dsc 493908-Nov-2023 09:36
agda_2.6.3-1build1_all.deb 375810-Nov-2023 20:19
agda_2.6.3-2.debian.tar.xz 11K07-Sep-2024 06:18
agda_2.6.3-2.dsc 494507-Sep-2024 06:18
agda_2.6.3-2_all.deb 372407-Sep-2024 06:18
agda_2.6.3.orig.tar.gz 2M26-Oct-2023 15:43
agda_2.6.4.3-1.debian.tar.xz 10K25-Oct-2024 19:11
agda_2.6.4.3-1.dsc 519725-Oct-2024 19:11
agda_2.6.4.3-1_all.deb 373625-Oct-2024 21:15
agda_2.6.4.3.orig.tar.gz 2M25-Oct-2024 19:11
elpa-agda2-mode_2.5.3-3build1_all.deb 40K25-Nov-2017 20:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 40K08-Feb-2020 13:19
elpa-agda2-mode_2.6.1-1build2.1_all.deb 45K16-Sep-2021 08:28
elpa-agda2-mode_2.6.3-1build1_all.deb 45K10-Nov-2023 20:19
elpa-agda2-mode_2.6.3-2_all.deb 45K07-Sep-2024 06:18
elpa-agda2-mode_2.6.4.3-1_all.deb 45K25-Oct-2024 21:15
libghc-agda-dev_2.3.2.2-1_amd64.deb 13M06-Nov-2013 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 12M06-Nov-2013 17:28
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 10M12-Jan-2016 22:59
libghc-agda-dev_2.4.2.5-1build1_i386.deb 10M12-Jan-2016 22:45
libghc-agda-dev_2.5.3-3build1_amd64.deb 15M25-Nov-2017 20:09
libghc-agda-dev_2.5.3-3build1_i386.deb 15M25-Nov-2017 20:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 19M08-Feb-2020 13:19
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 38M16-Sep-2021 08:28
libghc-agda-dev_2.6.3-1build1_amd64.deb 24M10-Nov-2023 20:19
libghc-agda-dev_2.6.3-2_amd64.deb 24M07-Sep-2024 06:18
libghc-agda-dev_2.6.4.3-1_amd64.deb 23M25-Oct-2024 21:15
libghc-agda-doc_2.3.2.2-1_all.deb 2M06-Nov-2013 17:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 2M12-Jan-2016 22:59
libghc-agda-doc_2.5.3-3build1_all.deb 3M25-Nov-2017 20:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 4M08-Feb-2020 13:19
libghc-agda-doc_2.6.1-1build2.1_all.deb 5M16-Sep-2021 08:28
libghc-agda-doc_2.6.3-1build1_all.deb 6M10-Nov-2023 20:19
libghc-agda-doc_2.6.3-2_all.deb 6M07-Sep-2024 06:18
libghc-agda-doc_2.6.4.3-1_all.deb 6M25-Oct-2024 21:15