[ubuntu/focal-proposed] acl2 8.2dfsg-3build1 (Accepted)

[Matthias Klose]

acl2 (8.2dfsg-3build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

Date: Mon, 23 Mar 2020 07:09:23 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/acl2/8.2dfsg-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 23 Mar 2020 07:09:23 +0100
Source: acl2
Architecture: source
Version: 8.2dfsg-3build1
Distribution: focal
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 acl2 (8.2dfsg-3build1) focal; urgency=medium
 .
   * No-change rebuild for libgcc-s1 package name change.
Checksums-Sha1:
 c6258180bde091d3c94971eab54079f7ff14e62b 2296 acl2_8.2dfsg-3build1.dsc
 10bfb86d01b1ed55d38d2c8cdd00ce8e6dc74c93 206024 acl2_8.2dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 e64bca725c4f55374e2ad36d6037292f815e89c9b24d6f7e353ee5507185cc6f 2296 acl2_8.2dfsg-3build1.dsc
 6d368a69d31d7d09df4adfeec8decb4515bdea662086b945da0a35ef73a685aa 206024 acl2_8.2dfsg-3build1.debian.tar.xz
Files:
 a3283dde2f8ece18cc380b4fa847c7dc 2296 math optional acl2_8.2dfsg-3build1.dsc
 2fed8e446481ec9ab14020674ea26e9d 206024 math optional acl2_8.2dfsg-3build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WggQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9aLCD/0eTxWIM36x4UNgoqku05oBo4Fr3+2T4/M1
my5VDGpn0ZtiWpsPCUe3h3EyBpxxOKWsOCwy/sOotwEnjwIrNI3Bf6SxIaERf800
inUidudS8L6IT4Iik7e3+WF7a8IAclahxyLJQMqALzLqVejGnUJWimYfKt4nQPeS
shM98e9pthQLBjbCtCRb6mnwYgpyUq0BZc+yvUbluMLkSeDGsnj3DOJgIAO33gCI
roU0ZISSkt86LrbFoV0Rhaf20rvTqVzBvWByloiMBIphZ6tAAOxHQJI5WL1td4o5
WoTrVbzsttt4eaKe4L9cUgUzNAXC4c01+APkJv2O/obi3lyP+cdJ1Gzwjnrqj8z/
oCGR+IjYSrh+ktebe6zjEyTrZzVdoSFo5sah9m0jf16ubn9vBZ10vskyL2yYnal9
9DMHpfKywTx8rfQMI/1R38jId7K/RnL3/yqxiIYKtaPVEC8j4OtGDwpVayrPUncZ
EedjDBquucqeiHaZ/eIhiWcv8wB+FhAB2zbt5W8H1cjj0XkmOVK0DRjZWD+N0Jo3
S1nrVWDSVYoyVteRCTKhySCwAIe655n4fdJhGrGfX6DlrKAN9uEyD9eXLudus431
bpTBruczUNJBDjvbgkcmTzCsncP/7E5yzrlat0XHRrRTTD5UWKeTLaQCKa9dZbEy
L7ERGB2Ehw==
=JKqA
-----END PGP SIGNATURE-----