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: s390x 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: a73889f24aedfa8b505ed7dd871618267dfdba15 12438424 agda-bin_2.5.1.1-3build3_s390x.deb 0d3b508f1ef6229068db0c391cc8449ff7f2ea49 20088990 libghc-agda-dev_2.5.1.1-3build3_s390x.deb Checksums-Sha256: 8d72c12e570f00fdd525a2feb995838973c59daba628b47321ad8f743b48b5e7 12438424 agda-bin_2.5.1.1-3build3_s390x.deb e5175a8cc7ef93c0eb56e2dfb750e9aadf0d31c8547a1e83cfb2516a342cf409 20088990 libghc-agda-dev_2.5.1.1-3build3_s390x.deb Files: 83603cb07142c2f6017a0445d6c4e4ab 12438424 haskell extra agda-bin_2.5.1.1-3build3_s390x.deb d22e39459c9cff3a7710448bcf327384 20088990 haskell extra libghc-agda-dev_2.5.1.1-3build3_s390x.deb