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

Matthias Klose doko at ubuntu.com
Sat Feb 8 11:38:12 UTC 2020


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

  * No-change rebuild with fixed binutils on arm64.

Date: Sat, 08 Feb 2020 10:55:44 +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-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 08 Feb 2020 10:55:44 +0000
Source: agda
Architecture: source
Version: 2.6.0.1-1build4
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-1build4) focal; urgency=medium
 .
   * No-change rebuild with fixed binutils on arm64.
Checksums-Sha1:
 f75eaf1c55515b665e8ce1116c96455479f1f473 4293 agda_2.6.0.1-1build4.dsc
 ed9ac90746d95bc8c8c3c4a8ffe682407975eb59 10220 agda_2.6.0.1-1build4.debian.tar.xz
Checksums-Sha256:
 173952a3906ef1a35876a5121a278400fbadccb3bd6f57e9091b2f6887058803 4293 agda_2.6.0.1-1build4.dsc
 0d4953aef6fb090606e90a5c90425c9ca11108f3bb37c74f3b2e187c8c85b805 10220 agda_2.6.0.1-1build4.debian.tar.xz
Files:
 e050e6a578585c2eb333d1c6686f7bdf 4293 haskell optional agda_2.6.0.1-1build4.dsc
 5a3f8e6600246e3bcd9961e050a09527 10220 haskell optional agda_2.6.0.1-1build4.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4+nTQQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9VeSEACGW+CT/IenhgtmIDv8sss58DF/32vaaqu+
KeoyxVsKnp+P0PHL2ZRoMMXGd4tHhoRH3czdhF3RQsX8yx5WIpZ4IqInjpXb8F2R
BVc+T2pA5t2zNsn+nn45zvnbOYYim6o39YCU4NMifTfMkIsv7a5jw5kXE5AJJmB/
WEWwfywNGfv0iROOYqOQji0JZB6OyKhNPw3s/CxbS75EtEoRvCfPOo6cN1UNUAhD
edWKDaL6kc42ibQ1gclAFabj9XfXo57Ou17DejDzRZ8dT41k0RYUcsGBTlhX03PK
aRE2cjUJ6D4OmOhWoPBWG8nCdvuULKcUaTd3vswa/mjhf4c0GOehF0kd0wXXhYqt
stgpk6pID91gxdKwDL+bX1UH6f03UFJkwZNfy/x8g/NOo5wO0xCmTC5FlXTgz06N
EjCkP1/QOo+/ppls69InKDDvdy/eoCbNtJgCq3TZILYUFfgKEFjLRA7rhscbaC42
i/5CMuIAxn6lPzb3qzzMziYtFpZC9qWziejNoz9ZywxMAR8ur9Lj8BtdIssKmRpT
Mp88+03gSVL/ZvhjxNBfOtBpQlk0r+RXUjXVpoe+xR14okBAPVOyFKw7ThvFgcpe
HECS0HUekWrCHqcmfZh2tNFpRkI2VSsWTaVNFgIB5ENoROpGq/NSlzNgsfWiORRV
ug5/ldBbhQ==
=7cNv
-----END PGP SIGNATURE-----


More information about the Focal-changes mailing list