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: ppc64el 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: f5406a9b73cc748f4388da061da380bf508adc3a 6252636 agda-bin_2.5.1.1-3build3_ppc64el.deb 1ab2c94ad556f0f127230c258073684949fa36f6 17593414 libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb Checksums-Sha256: 45bc268cfa0c20deed1fd8893c35d9ee51d784098831e9f8e03833f13aebba3f 6252636 agda-bin_2.5.1.1-3build3_ppc64el.deb fe482f2b18b40a2bf2f43d8b73b6d52799a9215a1f54edcb242b989a2dc6bde2 17593414 libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb Files: 7c0a17fcd9065c0012fbe58d02ca3136 6252636 haskell extra agda-bin_2.5.1.1-3build3_ppc64el.deb 0e30789bd6a3513d211825a73291c3f1 17593414 haskell extra libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb