Format: 1.8 Date: Fri, 27 Jan 2017 07:54:20 +0100 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: i386 Version: 2.5.1.1-3build3 Distribution: zesty-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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.1-3build3) zesty; urgency=medium . * Bump directory bounds * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch: upstream build fix with new ghc Checksums-Sha1: a8b99b29cf6e6c171263e293bf51d63abb38b5a4 5051880 agda-bin_2.5.1.1-3build3_i386.deb bbc92c160dd270317ffc29ad839efc34490826c5 12849694 libghc-agda-dev_2.5.1.1-3build3_i386.deb Checksums-Sha256: dafed41b7536515d9ad644a401145594abcecb354a433b2b77d4a2a15a07ece7 5051880 agda-bin_2.5.1.1-3build3_i386.deb bafd2f7cafea84055ba582e0910055ced44a14f844269567c68a6d71d6db166d 12849694 libghc-agda-dev_2.5.1.1-3build3_i386.deb Files: b1374de111cd15e6af75740a91197bf5 5051880 haskell extra agda-bin_2.5.1.1-3build3_i386.deb 28770d42eca79c1217b01c416a0e33e5 12849694 haskell extra libghc-agda-dev_2.5.1.1-3build3_i386.deb