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: s390x
Version: 2.5.1-2
Distribution: yakkety-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@z13-019.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:
 6672d83b6dc739d1e2e1a5fb593cb57fa3f1339c 11932518 agda-bin_2.5.1-2_s390x.deb
 4eaa4874c36a9bf83f043aa9566e49757be1243f 19337668 libghc-agda-dev_2.5.1-2_s390x.deb
Checksums-Sha256:
 d05021cd1591cfe8dcb5c8660243a745342fa9651193a23a5c2821f1d212151d 11932518 agda-bin_2.5.1-2_s390x.deb
 c531c596789ccb0100b620abc588be4d899fbd6edca51e42dac54c210e094445 19337668 libghc-agda-dev_2.5.1-2_s390x.deb
Files:
 fdc30a70ba1cbcc97263482dbc63bb1c 11932518 haskell extra agda-bin_2.5.1-2_s390x.deb
 972516ea228fe4ec9073156c67ab137f 19337668 haskell extra libghc-agda-dev_2.5.1-2_s390x.deb