[ubuntu/bionic-proposed] agda-stdlib 0.13-1build1 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (0.13-1build1) bionic; urgency=medium

  * Rebuild against new GHC ABI.

Date: Sat, 25 Nov 2017 20:03:55 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Iain Lane <laney at debian.org>
https://launchpad.net/ubuntu/+source/agda-stdlib/0.13-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 25 Nov 2017 20:03:55 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.13-1build1
Distribution: bionic
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.13-1build1) bionic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 3bda44d5a1a1f7f99942f3bb3d30eadd690b12df 2115 agda-stdlib_0.13-1build1.dsc
 8f91d92b491820d29b0baf9731676c70bd4a71a2 5120 agda-stdlib_0.13-1build1.debian.tar.xz
 acf58bd25ab630c768520c4e50c07344ee9e9461 6382 agda-stdlib_0.13-1build1_source.buildinfo
Checksums-Sha256:
 28ceb6f2627d75e4f116dbe5c86486fab7a25a25c6ccba96382a821c831707a2 2115 agda-stdlib_0.13-1build1.dsc
 2a92249a394642898565da6b6a573b0565bb2ed735fd6c9b8549fee07e968725 5120 agda-stdlib_0.13-1build1.debian.tar.xz
 5e7d18c6f5ca9e0b6fec64f4a8295bc9c6b7853a25bc2908feb88017ac5243ad 6382 agda-stdlib_0.13-1build1_source.buildinfo
Files:
 acbe89f562bfbb7723b9bb65fef74c15 2115 libs extra agda-stdlib_0.13-1build1.dsc
 412b32a24b54106a2ebf8080e8eabb93 5120 libs extra agda-stdlib_0.13-1build1.debian.tar.xz
 12c0d0709d234159f6c23f1bfee36bea 6382 libs extra agda-stdlib_0.13-1build1_source.buildinfo

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

iQIcBAEBCAAGBQJaGb6cAAoJEPNPCXROn13ZfNEP/RFwVqzEaQ6AnQRCp+IiJpMt
BqGcHhetuyRDEe7SMVJThlq3a9W1J70XG8S4ooqLaomaW3szSiMm1frDM2f4fFtG
D587pHGb8nEfKVwzV11M9IVWBzMIfmnVGlWzxY0OuBJsIq2AAl/3IoMpCZmChAyG
5R1KiBAfqD0aQfBb4HTCWYg5ZotDQ3Tl83F+zQoATevkb0S8i96ggfEKLe8TXuWd
9gdSy01/JUDGvVZtNGglhPdJe5V+kdbjvGmEbbD5TOWrgbGPkWyPAudkk6ev/dw3
ud8uGVelriiUnmng7sEFkF3SWJ3dzHmhVqQ05bbI2BaKu4i8Wtt9dzE3zr00i/tY
Cju4hmDY4tTCnfaXOlEuUAaL/abSYCaTudTGvJtUsKNaoTKnYQYD6Ws8LSb9fkUS
/mI2drE6zKjGEH2Rq6ev/GJOnUtsBq4tgjKX8eO/C+Apow1GjjPbSvk8XA7/Kidp
RpLDDbdimn9rVzWnR6h2NWohI1mrZMw1jnwL0gRPDaIfKqsTWWPoffwJa79kS21f
d4Q+UDjv3HorVy8DTBci3XPwv4XUF+I3EhOhDwaDUPncoEqKaCmT2My+U5X/tXf8
4WaSyB3gVyIUFHm3kqfm8HfYSME34y9dxucaW0zwVmuCCHKyhtS67/u/TvxGslEa
6XTU8dE+9lS22KNyPCw5
=mxCh
-----END PGP SIGNATURE-----