[ubuntu/focal-proposed] agda 2.6.0.1-1build3 (Accepted)

[Matthias Klose]

agda (2.6.0.1-1build3) focal; urgency=medium

  * No-change rebuild for libffi soname change.

Date: Sun, 12 Jan 2020 09:06:32 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/agda/2.6.0.1-1build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 12 Jan 2020 09:06:32 +0000
Source: agda
Architecture: source
Version: 2.6.0.1-1build3
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 agda (2.6.0.1-1build3) focal; urgency=medium
 .
   * No-change rebuild for libffi soname change.
Checksums-Sha1:
 e7fa7a9f6ccffcf25db0d894077bd13aa2402dd4 4293 agda_2.6.0.1-1build3.dsc
 692a204ebbf76b91ae8aaa447ab773ec86172f17 10172 agda_2.6.0.1-1build3.debian.tar.xz
Checksums-Sha256:
 8d9bd8fa33b7bef1b5fa2c43c8d61c5239e5e5c611cde87bca8f0584b06c2ee8 4293 agda_2.6.0.1-1build3.dsc
 79e6031a7c4f7f9e237044e060a0ce3df6d014c94a2e780ad600a008621578a6 10172 agda_2.6.0.1-1build3.debian.tar.xz
Files:
 c9335142c660741d482a0b6985ed8ddc 4293 haskell optional agda_2.6.0.1-1build3.dsc
 e13913f74df39dbf14ff506d0c43cbec 10172 haskell optional agda_2.6.0.1-1build3.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4a4uYQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9ZIvD/4rqJ95v7KIAgqCsHZMRItQkm72+37Yuudq
mWemclsJFTviKLnpwS2UMGHZtXeLhFTgsjJlsPqX5ozkHFeWW4PTj1lZ+y1RBERw
n/zulS4yAIrePWPfq01QTW+nluwVM1M6jqtWk9bQkFM5P2oTulFYFHvtNdMbdBM0
uMlfS389mo+oAQyH5cH4673i1HJ9zKbihmD44zv/w68phP7ZF3l2o4r/nD+TumtN
lN9QjyMcCww9VbQHefXw8bnOR41Esrg4lhgIdwQuWK8rL6NwMUt43hAXl0OZ/YdN
9AoYwiLnl6M9CnaG78x5pXzmdllZMTHLFg3/oVg/DkEYQ67A6IwP/h97xv8IVzzV
DgT+QhBGjzCruZTtRMAz9g4VEqDbDVKizPNsYAgLh1LSIWK2H5bg22NzWkQ7KFUz
bEXPap/gkPUMt4eeKVAUZ2LhpR59yxFB1QOADDqb3uxJBtKnf/tYtH4Za6ji/Z9s
3uoVdOY2VR2iXiQ1PQK7FkR2j1aS0QCJWvqqu3pPJ1oT27QjOltfxqlA/oWPC7fb
U+Egy8KcMtAB6Hu3xJdLcVK9GltrDdeDhoqKRsVCdqhW9z47CUgBm1+m9qMcSbIp
sdkrLd7wOoZGP9CoDHLmJce5KCsVYbsmnSxpDanEdeNbBCOHjRa/PpzfocVfLPma
CTAmLs3yng==
=vlaP
-----END PGP SIGNATURE-----