[ubuntu/zesty-proposed] agda-stdlib 0.12-2build2 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (0.12-2build2) zesty; urgency=medium

  * Rebuild against new GHC ABI.

Date: Tue, 15 Nov 2016 17:54:21 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Iain Lane <laney at debian.org>
https://launchpad.net/ubuntu/+source/agda-stdlib/0.12-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Nov 2016 17:54:21 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.12-2build2
Distribution: zesty
Urgency: medium
Maintainer: Iain Lane <laney at debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 agda-stdlib - standard library for Agda
 agda-stdlib-doc - standard library for Agda — documentation
Changes:
 agda-stdlib (0.12-2build2) zesty; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 4373a3d1257f78baa93b41678e858f2716197247 2179 agda-stdlib_0.12-2build2.dsc
 b97dea094ddb17171aaa66a601487bac88882a37 5048 agda-stdlib_0.12-2build2.debian.tar.xz
Checksums-Sha256:
 f80707d4e7a9925da3393e33682a015de259d7c7f81a7dc77302dcb1350bf0b9 2179 agda-stdlib_0.12-2build2.dsc
 ada41c0b4aa47072d5523ae9d61ddd1bf799d2a0e7be299de149ac684ae205a4 5048 agda-stdlib_0.12-2build2.debian.tar.xz
Files:
 74819723aee8bf55b0ee2f7096510db2 2179 libs extra agda-stdlib_0.12-2build2.dsc
 9d23768f74d468d11c9d6b715f0c4109 5048 libs extra agda-stdlib_0.12-2build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYKz3BAAoJEPNPCXROn13ZzIMP/1VTSWXB3cXSTFSTeeO8odeT
FLIqD57CpJMSPmT7Dt3C38hncC7iXTrV+UfrlqjE9dEfFlJ15ByzxVmldm0+qSCu
ArUUQm5MT2TskDzUlESp1u/86D2F9CIFnUWM55G/uQXLo77hYYFd+Q9itVkS1KTG
7hjvLLAzFLsJuNEFH4yUiclESj5vX6Gt413R47K/AQbMp+gnHAX8p23cUDrI4caQ
3xCxx/qosNe7Ycg0HBg7N6kCQkpqfR4qZMvGTtJKHaTqLtW1q0TedbYFE/QF//rA
bPWLHjf+92bwZnubCcEvtMMGBjDxZABSmDBlltOc0A1k82nR1C0oLemW9+IKbuEY
DQa+sjGK3yGJPeqOCvoSkEE/YjEnfGX4vetIGqTM93PjshNYrWSFcU93PCe6cdW8
emq3wgBnRsINQmzB2dENaskNrlfp+nCuzmLkcf4KxWYqFupIaU2dD3GfNZ39WS9W
1+eu5m/hI26WJwcgNBEiVa4fWBm9F1DWHhykjfzSALqWZFpRPuJ71IFdMGSfUF6Z
xdV1tyZeTec3Y/xFW6Kgev2KcRdkQfA0/L8T06r1wSrEnvHuxShr6oi2Sl2U8Vgj
uXqszUry5TWkrJKOOakvENbVHNJsQDw7JRBYfhzJ+twq3kJ1T5lsICsX3ulfS/F/
by3rZeEZmeOxpj08fZiA
=5qow
-----END PGP SIGNATURE-----