[ubuntu/artful-proposed] agda 2.5.2-2build1 (Accepted)

[Gianfranco Costamagna]

agda (2.5.2-2build1) artful; urgency=medium

  * Rebuild against new GHC ABI.

Date: Sat, 15 Jul 2017 10:36:30 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/agda/2.5.2-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 15 Jul 2017 10:36:30 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.2-2build1
Distribution: artful
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at 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-2build1) artful; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 275812e270d04c3a16752d2400e9d4e754bcc0a6 4078 agda_2.5.2-2build1.dsc
 109f2ad5c6665b15dd69dbda835dc98ac3bfaf02 9076 agda_2.5.2-2build1.debian.tar.xz
Checksums-Sha256:
 c726a4a24c0b640abced94066d49ae6ddda579a31473ede9c775d3d8995edb3f 4078 agda_2.5.2-2build1.dsc
 d40b2b8560b7bf3b6c30dea5964f2d936d417cf2a7fd980be6a9b00736104004 9076 agda_2.5.2-2build1.debian.tar.xz
Files:
 a1d8e15e88c54b0a7dd7a4d179dbf96c 4078 haskell extra agda_2.5.2-2build1.dsc
 2ef19f1c753e0d4ce0d7900c26bf9225 9076 haskell extra agda_2.5.2-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZadQQAAoJEPNPCXROn13ZGO0P/jGru/nc3hVL/ClXBmPs2ZKV
OhnJXVoEYxGJ3v0twgJWQ+1K/KG/vs/CKWEM9Drqq3rnVYC+++DB+x0VHiSH19zW
7LhD5nxpzSopbrdwM8FpPBofLU5URPrLDHq6odCy04vEN1vqabLSR0GOunkK8FHp
x1qsYsIKVBoXDPKgUVZEaztYsB4qoR1fnMVgOT2v59vbYxTaNeWh486L5VvLoVML
O7UDM9DdWZlxGOsUCXwYdx1vKfjfV85OOBs7K02DwfjbUODHNOFCuy67W1/aV09e
SottdVGzYlNuw5pqS7ZHbh4Ic7NvZR+dPeca7VLzQ07n3yTzyyxIDLQt6aaO1cCx
AerA/RDeH1GRkmR7Mjack1BPG1e0mfTelBYt48/nlk30zxn+xfvmcSgcCRDEIHGf
hWG1s6SeGDsSA/ctwS/Ngm9uFSPkiO7cBP8aMhBc84tRhbruBSdMgNH9dIKBRL2w
2ut/ywEbs/MMxHwuxj09xFWeoLE11KOz+88KXuk/mwwnHa2AuQEHI4bB6tUY7f9Q
cASoYiSNx0MMKGYyCq+1DhteW+gc8kx5wPa0Tj075veRI/WJCg2DbBP/Kt2d3ith
50Hn/qXAPa8RGJUEjxF2DKr3xfA8RF35eAo3p3HGfPZysSXawHGH9aPiMsjQA4KA
fdiTPPNV1K5W5f5vyJ5k
=Xch3
-----END PGP SIGNATURE-----