Note: Some binary packages for this source are not yet published in the repository.

Publishing details

• Created on 2016-02-10 by Ubuntu Archive Auto-Sync
• Published on 2016-02-10

Changelog

agda (2.4.2.5-1build1) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

 -- Colin Watson <email address hidden>  Tue, 12 Jan 2016 22:24:00 +0000

Builds

• amd64
• arm64
• armhf - Pending publication
• i386
• powerpc
• ppc64el
• s390x

Built packages

• agda dependently typed functional programming language

• agda-bin commandline interface to Agda

• agda-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.4.2.5-1build1_amd64.deb (4.6 MiB)
• agda-bin_2.4.2.5-1build1_arm64.deb (7.6 MiB)
• agda-bin_2.4.2.5-1build1_armhf.deb (6.0 MiB)
• agda-bin_2.4.2.5-1build1_i386.deb (4.6 MiB)
• agda-bin_2.4.2.5-1build1_powerpc.deb (4.1 MiB)
• agda-bin_2.4.2.5-1build1_ppc64el.deb (6.4 MiB)
• agda-bin_2.4.2.5-1build1_s390x.deb (11.2 MiB)
• agda-mode_2.4.2.5-1build1_all.deb (36.4 KiB)
• agda_2.4.2.5-1build1.debian.tar.xz (7.7 KiB)
• agda_2.4.2.5-1build1.dsc (3.7 KiB)
• agda_2.4.2.5-1build1_all.deb (2.9 KiB)
• agda_2.4.2.5.orig.tar.gz (1007.3 KiB)
• libghc-agda-dev_2.4.2.5-1build1_amd64.deb (10.2 MiB)
• libghc-agda-dev_2.4.2.5-1build1_arm64.deb (15.9 MiB)
• libghc-agda-dev_2.4.2.5-1build1_armhf.deb (13.2 MiB)
• libghc-agda-dev_2.4.2.5-1build1_i386.deb (10.1 MiB)
• libghc-agda-dev_2.4.2.5-1build1_powerpc.deb (10.1 MiB)
• libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb (15.9 MiB)
• libghc-agda-dev_2.4.2.5-1build1_s390x.deb (16.4 MiB)
• libghc-agda-doc_2.4.2.5-1build1_all.deb (2.1 MiB)