[ubuntu/cosmic-proposed] agda 2.5.3-5build1 (Accepted)

[Gianfranco Costamagna]

agda (2.5.3-5build1) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

Date: Wed, 04 Jul 2018 12:18:49 +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.3-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 04 Jul 2018 12:18:49 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-5build1
Distribution: cosmic
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
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.3-5build1) cosmic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 668541a2b006ef0a87bed9a780297b13830bc479 4513 agda_2.5.3-5build1.dsc
 6e637bf14aa59f928c09f40dc600b149ec1726ce 10108 agda_2.5.3-5build1.debian.tar.xz
 fed8f1c46709ef600dfc0b70c72192988722a4b8 10531 agda_2.5.3-5build1_source.buildinfo
Checksums-Sha256:
 0c55d7e6648962dd371f7ca9f6544fb095e0602b504c6595a6786d82c9e5a44e 4513 agda_2.5.3-5build1.dsc
 e20bf2d0ae71f1706fec94e1fafbaa8f2c13fba09b3756962ed4acd2b8f4cf13 10108 agda_2.5.3-5build1.debian.tar.xz
 ade957ccb896c7a28327f9db5a17feb3740f4a6680f8e3f3a6fa8be7a073a299 10531 agda_2.5.3-5build1_source.buildinfo
Files:
 3b2a2447398c586b5a4271d9db29b629 4513 haskell optional agda_2.5.3-5build1.dsc
 6ef102c2f84da9d8282504b0e45131b8 10108 haskell optional agda_2.5.3-5build1.debian.tar.xz
 a017b4ed5da1797edefd4d343752e01c 10531 haskell optional agda_2.5.3-5build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAls8nwsACgkQ808JdE6f
XdmQVw/+M6Ox/LCiTo7QoIOUdu8kWmwNskruf7aMv29nHpXeNwp2DzQfxa6WK95X
VVkI6ew335/tpa8bUwTPbLumCLfXDKTbnDIW90pSbUU1cIWbRu91GPCl3ZWMa/TC
tMiopImSPv9jL23zw+HCanbLCyOvfz8i6S3DTs0iWe+jkvQgo/b4B7yTWu6RVh3I
8dc3OarrSRnN0SnxKVZDewwITw9r7HF3HD/X1zAilDgv2gKAbsW8hCDQo7CfXJMj
K0hMqJfEr1o/SbBMWWtbg08etsE3u5SvQUmF2I2t8r0uekrZ3hBsbRvaQesryfM3
uIMDBRys/fBlNNQ568hhoozDhKZxQgcMR8z1vqsECW1HR30Uy2ADmbBGpOB6b9+X
KzigAgt9wwYCrUlk8tdsjWnJzQb6qaBQH/e4r7HrLRTlg1cYJqzH1xHLiqv85fBc
XIUNbkMeQ3M0923nfQxdZlkc3ly4Dg1vpdxICkq5BilI0vHiSgP5xiNKK6/3tcfd
genM8PGVF5Oo7cz1NCvmjLfWYQHFJZe0l+EvmD3YM/kQGfWb/pwYJO2IlXWAmYql
JT+ZJZuy8jG3pcktVCzbZd3Vidhf0EknIGCRSWyMIcgChHzclI605CKzp1z0C6N6
pGaipyblZFMjKvzi8GZimv1xfFIq533x62GICAB+OXJpalDRjMg=
=t9Ad
-----END PGP SIGNATURE-----