-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 04 Aug 2015 14:46:23 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source amd64 all
Version: 2.4.2.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
agda - dependently typed functional programming language
agda-bin - commandline interface to Agda
agda-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
Closes: 793194
Changes:
agda (2.4.2.2-4) unstable; urgency=medium
.
* [d59dba4] Revert modification of upstream source in
a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
* [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
#793194)
Checksums-Sha1:
33df4ffe123a49e2e6cdbeb887cac60256650b29 3594 agda_2.4.2.2-4.dsc
12361224f042489c80c86495ed2b3c7d9f677f61 8792 agda_2.4.2.2-4.debian.tar.xz
6b5c1d79b62d3cbe6e754b6fe292f38a2abfc398 4550074 agda-bin_2.4.2.2-4_amd64.deb
5311bec091dc9cbcff310d1f31e15fafa94513f5 90082 agda-mode_2.4.2.2-4_all.deb
919cee9c05d05d4af80ec7f3318727eae6b79f1b 58142 agda_2.4.2.2-4_all.deb
de04ea35f42752b93c1676d4b20e77a9aec6fb71 10705660 libghc-agda-dev_2.4.2.2-4_amd64.deb
8a6aa7813378d444a5b39e9cee835b1382fbac4e 2031594 libghc-agda-doc_2.4.2.2-4_all.deb
Checksums-Sha256:
f8057c7f50db563c7445291bb5d838848d6e660ffdf8b383a74b9045dfbe059b 3594 agda_2.4.2.2-4.dsc
63f6e1b5642a2cc3196e213bc092d877da3ad8829abf73a1b1a9f41804657c32 8792 agda_2.4.2.2-4.debian.tar.xz
ec9637c7ce3938b16139fed3b02fdd4c3e09924b93d11a9c43a73494fe14409d 4550074 agda-bin_2.4.2.2-4_amd64.deb
fd14231e4c7347f94f5509dcf0a7a8c40c08ec33be32eff28f38987415e0592c 90082 agda-mode_2.4.2.2-4_all.deb
4f3a21430a44cc63096f4d945d22633d438d4a444ba67612fc0c1385cb1ce8cb 58142 agda_2.4.2.2-4_all.deb
d83695f37f616fee5c2d6fe6ec748901564e933e1e32fd00af40cb791bf4d78d 10705660 libghc-agda-dev_2.4.2.2-4_amd64.deb
2137f206b7611d65f9b115fec1bb4ebbb3f126d4dd6a6133e4198670b925307b 2031594 libghc-agda-doc_2.4.2.2-4_all.deb
Files:
2cb10dc6c53596ae1328b4e71698651d 3594 haskell extra agda_2.4.2.2-4.dsc
52315003972addb06efae13e8c543b36 8792 haskell extra agda_2.4.2.2-4.debian.tar.xz
bd9947f7e907fc58eccd802d8ecb54bb 4550074 haskell extra agda-bin_2.4.2.2-4_amd64.deb
49fec4d8e12e5016c1451c040e58c2cb 90082 misc extra agda-mode_2.4.2.2-4_all.deb
f9f902df43cceb357bb4eefc8a2ebc40 58142 misc extra agda_2.4.2.2-4_all.deb
b998aedd994f07f5caaff9ef1646d6cf 10705660 haskell extra libghc-agda-dev_2.4.2.2-4_amd64.deb
41d5cbb9627117315816f9d859b6dfd0 2031594 doc extra libghc-agda-doc_2.4.2.2-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJVwMaUAAoJEONS1cUcUEHUcWwP/3Ki5ON9WFaJDIlXzvr5Q1dy
H2Ax2gfATg0iKlBa2IdWonGlyjXT3tEaoostsYL7vKZZI6MrrrHYa1StpIRqstEH
SYI2RLuf1IkhyyZ3fso5hEJRb7SsAdtHM1cKHN7uSFy2DSGrRSoJ3KeKvnxdlKqs
kKpPSxwT6+gqv7vrHvTj+Q5wk0j5PJXaCB+1z773XFx4wbfX/LZcl1MpkAvMMC+L
Q2l/86as/DquHJDNhe+uVNpaHyGrDMzASNO3495K8TCKh1xWv/xPXbLePMzAkfnd
/tFBNCyxfDuvyVNquHmkJOsXNVTgGrkqsTmYhJbH1K14rjrZM336NfzI1OHDZ5y8
tqXm/bcAEbPjhGEV8KJjrWQsMBTh1K9txM/pqCMnu3KcM3YwlhfLLEqHQrLrxMlz
YEqJaGHzZBavWolm9jm6jPMc/pU8I5Iv+T9zpoG1JEtMAFwc3SjqN9V/ySBpQmLs
s149AmCW9QLjt51zWsq9oT40H0IW8CBnZ6Uh1LOdaQy5cUH/MBv050ghrPnQxEsB
eHpQkgnYk/fFy/jcCu3G/7mcAd7nt7w/CScM4gvZWjUKTIBYcLW5FELNz1atPxXW
EZA35t7PXY4yKbWShD2viC/ctKfTrVbYlYiRJeJHgCNx1kQdfW/vf+Edhjia7LfW
JIoeEiZelk3AeojuLWAH
=787H
-----END PGP SIGNATURE-----
