Format: 1.8
Date: Mon, 10 Jul 2017 12:54:36 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: amd64 all
Version: 2.5.2-2
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-12.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
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.2-2) unstable; urgency=medium
 .
   * Team upload.
   * Bump ieee754 bounds.
Checksums-Sha1:
 5e82170e185c26f40bd8a0f6a4874a518de15225 4977852 agda-bin_2.5.2-2_amd64.deb
 ee9744cb19990b2788539ede855e92e81d2d3a25 4196 agda-mode_2.5.2-2_all.deb
 5c6cdf0a747722233ea0ff3755ec2ae26270dbe4 2954 agda_2.5.2-2_all.deb
 d9d0fb6861cfc6cb52879bf5082e154b7958d07f 12187 agda_2.5.2-2_amd64.buildinfo
 1557479ba8ae06a96e7276f20199d70cfab1f045 40832 elpa-agda2-mode_2.5.2-2_all.deb
 55d4564f35f32dac829012842975a32ec9bfe1e3 13221280 libghc-agda-dev_2.5.2-2_amd64.deb
 707478386c1f24b606a20223a3e71541b8058068 2644836 libghc-agda-doc_2.5.2-2_all.deb
Checksums-Sha256:
 18b41405e391f96e5ac8f59e64b54a20bf8dff721e72dc4cb52d111dbb9ca25e 4977852 agda-bin_2.5.2-2_amd64.deb
 d1445b160bb16757629c0897f7e4c9632e126970a2006e29491948de545b556f 4196 agda-mode_2.5.2-2_all.deb
 702f81cb4948781183f44b2658c7ea0ea6242781deb1be1638a35fb564a4ed2f 2954 agda_2.5.2-2_all.deb
 56de74b42f1aeaccf8af2c98dcfe013e9edf1db7c19fc003710acbcbf919d4e4 12187 agda_2.5.2-2_amd64.buildinfo
 9808eb6340af951b18874b1b90642286eb75db97993df8145e9be280f9d4a91a 40832 elpa-agda2-mode_2.5.2-2_all.deb
 95f34c2aaf5a22624d1ebde96ff4ed3a3fcff5c3e16c410ecc00f2436249ef14 13221280 libghc-agda-dev_2.5.2-2_amd64.deb
 5c74f5644a5ecca9b56e46947bbe93b2b248aff249889e4d8d4217b2a0ac7c6a 2644836 libghc-agda-doc_2.5.2-2_all.deb
Files:
 f40da46564e77cb26efe6aa8cc524ac1 4977852 haskell extra agda-bin_2.5.2-2_amd64.deb
 6eb9a1428979a69c8e26d4c520146cd2 4196 oldlibs extra agda-mode_2.5.2-2_all.deb
 eda51fc861840e11d112c78404d1e30e 2954 misc extra agda_2.5.2-2_all.deb
 bb52236a9919edf45fc1f14f0270de5b 12187 haskell extra agda_2.5.2-2_amd64.buildinfo
 1102542a8c4b1cdf5924e3ae88a90e04 40832 editors extra elpa-agda2-mode_2.5.2-2_all.deb
 5f22dd3cc3eec79961f70c485f9ff5f7 13221280 haskell extra libghc-agda-dev_2.5.2-2_amd64.deb
 d8f66b9229daaf60047bd07fd7527628 2644836 doc extra libghc-agda-doc_2.5.2-2_all.deb