Publishing details

• Created on 2017-11-27 by Ubuntu Archive Auto-Sync
• Published on 2017-11-27

Changelog

agda (2.5.3-3build1) bionic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 25 Nov 2017 19:53:50 +0100

Builds

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

Built packages

• agda dependently typed functional programming language

• agda-bin commandline interface to Agda

• agda-mode transitional dummy package for elpa-agda2-mode

• elpa-agda2-mode dependently typed functional programming language — emacs mode

• libghc-agda-dev dependently typed functional programming language

• libghc-agda-doc dependently typed functional programming language; documentation

Package files

• agda-bin_2.5.3-3build1_amd64.deb (5.5 MiB)
• agda-bin_2.5.3-3build1_arm64.deb (8.7 MiB)
• agda-bin_2.5.3-3build1_armhf.deb (7.0 MiB)
• agda-bin_2.5.3-3build1_i386.deb (5.5 MiB)
• agda-bin_2.5.3-3build1_ppc64el.deb (6.4 MiB)
• agda-bin_2.5.3-3build1_s390x.deb (12.7 MiB)
• agda-mode_2.5.3-3build1_all.deb (3.5 KiB)
• agda_2.5.3-3build1.debian.tar.xz (9.6 KiB)
• agda_2.5.3-3build1.dsc (4.5 KiB)
• agda_2.5.3-3build1_all.deb (3.0 KiB)
• agda_2.5.3.orig.tar.gz (1.1 MiB)
• elpa-agda2-mode_2.5.3-3build1_all.deb (39.9 KiB)
• libghc-agda-dev_2.5.3-3build1_amd64.deb (15.1 MiB)
• libghc-agda-dev_2.5.3-3build1_arm64.deb (22.7 MiB)
• libghc-agda-dev_2.5.3-3build1_armhf.deb (18.7 MiB)
• libghc-agda-dev_2.5.3-3build1_i386.deb (14.9 MiB)
• libghc-agda-dev_2.5.3-3build1_ppc64el.deb (20.3 MiB)
• libghc-agda-dev_2.5.3-3build1_s390x.deb (23.5 MiB)
• libghc-agda-doc_2.5.3-3build1_all.deb (2.6 MiB)