Publishing details

• Published on 2015-07-21
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

agda (2.3.2.2-1) unstable; urgency=low


  * [244f29d] Use new watch file template
  * [16a3f05] Imported Upstream version 2.3.2.2
  * [bdb8574] Update BDs to match cabal file
  * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream
    in this release

 -- Iain Lane <email address hidden>  Wed, 06 Nov 2013 09:59:36 +0000

Builds

• amd64
• i386

Package files

• agda_2.3.2.2-1.debian.tar.gz (7.2 KiB)
• agda_2.3.2.2-1.dsc (3.2 KiB)
• agda_2.3.2.2.orig.tar.gz (1.9 MiB)