Format: 1.8
Date: Mon, 20 Jun 2016 17:34:46 +0900
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: i386
Version: 2.5.1-2
Distribution: yakkety-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-09.buildd>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
Description:
 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${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.5.1-2) unstable; urgency=low
 .
   [ Joachim Breitner ]
   * Fix Vcs-Browser field.
 .
   [ Sean Whitton ]
   * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC
     configure args in an attempt to fix FTBFS on arm buildds.
     As suggested by Joachim Breitner.
   * Set Priority: extra and Section: oldlibs on agda-mode transitional package.
   * Add missing continuation marker in d/copyright.
Checksums-Sha1:
 45f80d87fd8976e23b223d2b314f52be957c2cb8 4917958 agda-bin_2.5.1-2_i386.deb
 5d903cbc9668a52ba763b88e1d4767fb95989f97 11935306 libghc-agda-dev_2.5.1-2_i386.deb
Checksums-Sha256:
 73e6806ac2bb8c720144109546861bebd6cc48c48355dc09594d610214dfb190 4917958 agda-bin_2.5.1-2_i386.deb
 38789ca4d7d172039384a6a4cf73d97b7e45ad3fdd0b99961773476b4376823f 11935306 libghc-agda-dev_2.5.1-2_i386.deb
Files:
 97e6aad0e7bde4eabd7d94a2a75306ed 4917958 haskell extra agda-bin_2.5.1-2_i386.deb
 4d75bdbb313fbb4db8d2b3c1f3d3f019 11935306 haskell extra libghc-agda-dev_2.5.1-2_i386.deb