Publishing details

• Created on 2016-08-22 by Ubuntu Archive Auto-Sync
• Removed from disk on 2018-01-23.
• Removal requested on 2018-01-23.
• Published on 2016-08-22

Changelog

agda (2.5.1-2build2) yakkety; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 09 Aug 2016 14:52:46 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Package files

• agda-bin_2.5.1-2build2_amd64.deb (4.7 MiB)
• agda-bin_2.5.1-2build2_arm64.deb (7.7 MiB)
• agda-bin_2.5.1-2build2_armhf.deb (6.1 MiB)
• agda-bin_2.5.1-2build2_i386.deb (4.7 MiB)
• agda-bin_2.5.1-2build2_powerpc.deb (4.2 MiB)
• agda-bin_2.5.1-2build2_ppc64el.deb (6.5 MiB)
• agda-bin_2.5.1-2build2_s390x.deb (11.7 MiB)
• agda-mode_2.5.1-2build2_all.deb (4.2 KiB)
• agda_2.5.1-2build2.debian.tar.xz (8.7 KiB)
• agda_2.5.1-2build2.dsc (4.0 KiB)
• agda_2.5.1-2build2_all.deb (2.9 KiB)
• agda_2.5.1.orig.tar.gz (1.1 MiB)
• elpa-agda2-mode_2.5.1-2build2_all.deb (38.9 KiB)
• libghc-agda-dev_2.5.1-2build2_amd64.deb (11.5 MiB)
• libghc-agda-dev_2.5.1-2build2_arm64.deb (17.8 MiB)
• libghc-agda-dev_2.5.1-2build2_armhf.deb (15.2 MiB)
• libghc-agda-dev_2.5.1-2build2_i386.deb (11.4 MiB)
• libghc-agda-dev_2.5.1-2build2_powerpc.deb (11.4 MiB)
• libghc-agda-dev_2.5.1-2build2_ppc64el.deb (18.0 MiB)
• libghc-agda-dev_2.5.1-2build2_s390x.deb (18.5 MiB)
• libghc-agda-doc_2.5.1-2build2_all.deb (2.3 MiB)