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: arm64
Version: 2.5.1-2
Distribution: yakkety-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-010.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:
 55330b17faaf0bd34a77be426a53498fe6022bcc 8114616 agda-bin_2.5.1-2_arm64.deb
 213c7a2c8b677af059b1f885aa32c5a88cce06a5 18725046 libghc-agda-dev_2.5.1-2_arm64.deb
Checksums-Sha256:
 88b1c4ad66e28e2721f362748ad837c6f0f6caf00c09b80cf0c0b0c3cc4b1fad 8114616 agda-bin_2.5.1-2_arm64.deb
 6357d08bd9d9797166b67a15aa99fcbf1d62f84c2ecc1e9fcd4e6e7aca0f06e9 18725046 libghc-agda-dev_2.5.1-2_arm64.deb
Files:
 cc19e1661d10e61c2062ee4685b25919 8114616 haskell extra agda-bin_2.5.1-2_arm64.deb
 ea02ec9a3937606cf784c507347d2531 18725046 haskell extra libghc-agda-dev_2.5.1-2_arm64.deb