[ubuntu/eoan-proposed] agda 2.6.0.1-1build1 (Accepted)

[Gianfranco Costamagna]

agda (2.6.0.1-1build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

Date: Sun, 01 Sep 2019 20:11:22 +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.6.0.1-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 01 Sep 2019 20:11:22 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.6.0.1-1build1
Distribution: eoan
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.6.0.1-1build1) eoan; urgency=medium
 .
   * Rebuild against new GHC abi.
Checksums-Sha1:
 ae7bf92fa58c99d6615dbeeee66ced6651955a29 4189 agda_2.6.0.1-1build1.dsc
 5d79948a83dcfebedb24c690a7a547cc190b7e1c 10048 agda_2.6.0.1-1build1.debian.tar.xz
 d6c07817cedf042a12562093c37f17ff2eaf5e1f 12318 agda_2.6.0.1-1build1_source.buildinfo
Checksums-Sha256:
 bcdad1058be8eb8e57db7f50afc2b37efe56a88cb5c00232091e11fff00970d7 4189 agda_2.6.0.1-1build1.dsc
 0251e6a17cdb38b1911655624f62a5c9c3051cbeadaf1669fbd027ccb710e9cb 10048 agda_2.6.0.1-1build1.debian.tar.xz
 a23684dd8b350ef256fb4dabc70778d1a25ba7c40d756d69d40ba56288fa6f95 12318 agda_2.6.0.1-1build1_source.buildinfo
Files:
 8548a9f70220a5c6b4eececd4fd91467 4189 haskell optional agda_2.6.0.1-1build1.dsc
 cb48d01d0059443e2cacd7284b95cf66 10048 haskell optional agda_2.6.0.1-1build1.debian.tar.xz
 60486e3721a5ab0a5ce2035849c97d0d 12318 haskell optional agda_2.6.0.1-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1sCcwACgkQ808JdE6f
XdlIwRAAhJf6lIn6z04u6oR8Ebj7Tk43fpjokGVPHckRl39v2PT41o25h5Nj1HWL
pivYcE/C+Z3Hurbsfnxcn+YJ7mcKKJflsdEw36pT6c2NbDQHw/5HzGypfi8z+GZM
isqWe+P7ciKTwrkS4WztdMsmL0IqijblTzVtGKWwt/iG6PKQKtx8l60qHOwqEp3X
rLPRJ4uHlZmVmNsNkw0yJ4HzSniGs5iY3q9oZmJJ6aRIdlfLg/XU4Z9SotF6o8RW
49J9m7JlmhjoqwCgtSzpiZ000ajKCU46mC/H0r0b9H+bXmuL8Jqt7w0XVve91rKF
x6aj4VHHUBQ7Qg0wH1VXiO3YJhAqEIyg6g6l92r4w740O+nAXFjp+BXusdjvmFGK
JEtW4X73y3gCPAdOH2FaU0tRKfZLKGZqZxPnSWI7F/sLATXDwD5Kf9b0n7vL9rM1
UbGC2/D8pot1t+dxPxhJ0ADarT7jaw1M4evXoCOQB/O/NmmLljgk3y0Rgd7+tNyI
hFnfpbCrpFkOaN7wdeXxDAJTBmiCvUyzAxbfaA+GztPLJDQ/QLZmbHWscfIy5aY7
umVarMmKA5o/rPPTtjaGAn5BLRLNXGFS4BnLmBrDokWrNK0VwBs4WQjZ10r2426i
Gj78bkAbOuhG2YrgQ2fWl01REPyi+RqH+khsUQySBE/KaLafH9Q=
=fHEz
-----END PGP SIGNATURE-----