Publishing details

• Created on 2018-07-06 by Ubuntu Archive Auto-Sync
• Removed from disk on 2020-07-13.
• Removal requested on 2020-07-13.
• Published on 2018-07-06

Changelog

agda (2.5.3-5build3) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 05 Jul 2018 09:45:00 +0200

Builds

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

Package files

• agda-bin_2.5.3-5build3_amd64.deb (5.5 MiB)
• agda-bin_2.5.3-5build3_arm64.deb (6.2 MiB)
• agda-bin_2.5.3-5build3_armhf.deb (6.0 MiB)
• agda-bin_2.5.3-5build3_i386.deb (5.6 MiB)
• agda-bin_2.5.3-5build3_ppc64el.deb (7.4 MiB)
• agda-bin_2.5.3-5build3_s390x.deb (12.6 MiB)
• agda-mode_2.5.3-5build3_all.deb (3.5 KiB)
• agda_2.5.3-5build3.debian.tar.xz (9.9 KiB)
• agda_2.5.3-5build3.dsc (4.4 KiB)
• agda_2.5.3-5build3_all.deb (3.0 KiB)
• agda_2.5.3.orig.tar.gz (1.1 MiB)
• elpa-agda2-mode_2.5.3-5build3_all.deb (39.9 KiB)
• libghc-agda-dev_2.5.3-5build3_amd64.deb (15.4 MiB)
• libghc-agda-dev_2.5.3-5build3_arm64.deb (17.6 MiB)
• libghc-agda-dev_2.5.3-5build3_armhf.deb (18.2 MiB)
• libghc-agda-dev_2.5.3-5build3_i386.deb (15.0 MiB)
• libghc-agda-dev_2.5.3-5build3_ppc64el.deb (22.2 MiB)
• libghc-agda-dev_2.5.3-5build3_s390x.deb (23.5 MiB)
• libghc-agda-doc_2.5.3-5build3_all.deb (2.5 MiB)