Publishing details

• Published on 2012-04-21

Changelog

agda (2.3.0.1-1build2) precise; urgency=low

  * No change rebuild for haskell-hashtables
 -- Iain Lane <email address hidden>   Sat, 21 Apr 2012 17:18:26 +0100

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• agda dependently typed functional programming language

• agda-mode dependently typed functional programming language — emacs mode

• libghc-agda-dev dependently typed functional programming language - development libraries

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

Package files

• agda-mode_2.3.0.1-1build2_all.deb (39.9 KiB)
• agda_2.3.0.1-1build2.debian.tar.gz (6.5 KiB)
• agda_2.3.0.1-1build2.dsc (3.0 KiB)
• agda_2.3.0.1-1build2_all.deb (2.9 KiB)
• agda_2.3.0.1.orig.tar.gz (598.0 KiB)
• libghc-agda-dev_2.3.0.1-1build2_amd64.deb (12.4 MiB)
• libghc-agda-dev_2.3.0.1-1build2_armel.deb (17.9 MiB)
• libghc-agda-dev_2.3.0.1-1build2_armhf.deb (17.8 MiB)
• libghc-agda-dev_2.3.0.1-1build2_i386.deb (11.8 MiB)
• libghc-agda-dev_2.3.0.1-1build2_powerpc.deb (15.7 MiB)
• libghc-agda-doc_2.3.0.1-1build2_all.deb (1.6 MiB)