[ubuntu/groovy-proposed] agda 2.6.0.1-1build5 (Accepted)

[Steve Langasek]

agda (2.6.0.1-1build5) groovy; urgency=medium

  * No-change rebuild for new GHC ABIs

Date: Wed, 01 Jul 2020 18:50:46 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/agda/2.6.0.1-1build5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 01 Jul 2020 18:50:46 +0000
Source: agda
Architecture: source
Version: 2.6.0.1-1build5
Distribution: groovy
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 agda (2.6.0.1-1build5) groovy; urgency=medium
 .
   * No-change rebuild for new GHC ABIs
Checksums-Sha1:
 031f673ffa031b60a5cf590439bf6f90fc9c29c9 4305 agda_2.6.0.1-1build5.dsc
 2db2e25a1f43794da663d7caa39abd8aceec14a6 10240 agda_2.6.0.1-1build5.debian.tar.xz
 7cd9f7517134bae55f2d9616d2cafda1f97c92b5 5675 agda_2.6.0.1-1build5_source.buildinfo
Checksums-Sha256:
 b643d307eb5401d8e53c70389cf2a05fa4386d4387b20a056e1eaf836889e8b0 4305 agda_2.6.0.1-1build5.dsc
 78793d2ff943a4662cacef9232d5994339bf569990b5a5ebe12fa4f4034f2869 10240 agda_2.6.0.1-1build5.debian.tar.xz
 412ed0c3b5822caf63dc4b1eb715b560f601fae2df1bfd78f29bf4917e735824 5675 agda_2.6.0.1-1build5_source.buildinfo
Files:
 b0245a16f635059552931521b239d270 4305 haskell optional agda_2.6.0.1-1build5.dsc
 c8a439971ea589f4ae4596aa20d185cc 10240 haskell optional agda_2.6.0.1-1build5.debian.tar.xz
 ce19a270148d96b4bba49967cf9f9d79 5675 haskell optional agda_2.6.0.1-1build5_source.buildinfo
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl782w0aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2KCw//S9Op0rTPGgNI51mPeCRv
PC4/nZMVpagSnPdI9zTG2bSi9Pjsemytu5H3KyDuZtOrLOXRZpDZ/TWVoUxl3Aha
TmNXqqgBjxYnVf0tUgyzEnhRRvdezwEYxpC2TJCSN7EcerH/YTB50UEqyJD2tIgv
ChDIet9eUVNde9CKJrtBHv8Ze59+Q+tkI3jw21oCTOfT5zkqEecytwVyFOi1CWTk
3KKPgwscDyh5CTlMTb4k0qdfMXT5zgEkHg/C61aBHgZqqPShcfyf0MvE+Lwh9V0J
PiJ2iWkDBT1fj8KCGMePlvZs8aoqGoPClX6oPNuNzIhonjWvZShgZzQMRNZSvy8p
BFHiTL6Le0pRUCp5Pe8JN7VC/3+5FxKBQ6CgbybAVVIfd6+JYB8ucZcHuaOIpH1O
foLHCCTqGGrTAZ19npy+jetC/s7LEQo0YpeVKJ5Ei+cfJ928vT4WKbqTB9n/7aW0
0lwDm2i92PgDweCfUpUnhqgebTxffW3aQTZD0Fhc9qYHFXM96JMzJfuExtc1DnrL
4cZ12IoPfvuuUpWsYLefOIGQa4WfiamEwE9BGIjB7yLuLpo6zfahO7wJcFxfDb4Y
VfbXZhsLa7MEmJm9391513BdaDlDhcP/Z08gAeVAbdLixUgm/iH3MLmDAETRRDn4
Ar7Sfek8WNyqkT1NTtqtU/M=
=Qc0w
-----END PGP SIGNATURE-----