Publishing details

• Removed from disk on 2018-06-22.
• Removal requested on 2017-06-25.
• Superseded on 2017-06-24 by agda - 2.5.1.1-4build1
• Published on 2017-04-20
• Copied from ubuntu zesty in Primary Archive for Ubuntu

Changelog

agda (2.5.1.1-3build3) zesty; urgency=medium

  * Bump directory bounds
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    upstream build fix with new ghc

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 07:54:20 +0100

Builds

Package files

• agda-bin_2.5.1.1-3build3_amd64.deb (4.8 MiB)
• agda-bin_2.5.1.1-3build3_arm64.deb (8.0 MiB)
• agda-bin_2.5.1.1-3build3_armhf.deb (6.4 MiB)
• agda-bin_2.5.1.1-3build3_i386.deb (4.8 MiB)
• agda-bin_2.5.1.1-3build3_powerpc.deb (4.3 MiB)
• agda-bin_2.5.1.1-3build3_ppc64el.deb (6.0 MiB)
• agda-bin_2.5.1.1-3build3_s390x.deb (11.9 MiB)
• agda-mode_2.5.1.1-3build3_all.deb (4.0 KiB)
• agda_2.5.1.1-3build3.debian.tar.xz (9.4 KiB)
• agda_2.5.1.1-3build3.dsc (4.0 KiB)
• agda_2.5.1.1-3build3_all.deb (2.9 KiB)
• agda_2.5.1.1.orig.tar.gz (1.1 MiB)
• elpa-agda2-mode_2.5.1.1-3build3_all.deb (38.8 KiB)
• libghc-agda-dev_2.5.1.1-3build3_amd64.deb (12.4 MiB)
• libghc-agda-dev_2.5.1.1-3build3_arm64.deb (18.7 MiB)
• libghc-agda-dev_2.5.1.1-3build3_armhf.deb (15.4 MiB)
• libghc-agda-dev_2.5.1.1-3build3_i386.deb (12.3 MiB)
• libghc-agda-dev_2.5.1.1-3build3_powerpc.deb (12.2 MiB)
• libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb (16.8 MiB)
• libghc-agda-dev_2.5.1.1-3build3_s390x.deb (19.2 MiB)
• libghc-agda-doc_2.5.1.1-3build3_all.deb (2.4 MiB)