[ubuntu/resolute-proposed] acl2 8.6+dfsg-3build1 (Accepted)

[Sebastien Bacher]

acl2 (8.6+dfsg-3build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

Date: Tue, 03 Feb 2026 21:36:05 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Camm Maguire <camm at debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/acl2/8.6+dfsg-3build1
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Feb 2026 21:36:05 +0100
Source: acl2
Built-For-Profiles: noudeb
Architecture: source
Version: 8.6+dfsg-3build1
Distribution: resolute
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Launchpad-Bugs-Fixed: 2132257
Changes:
 acl2 (8.6+dfsg-3build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 46ce3c063643b270446a53f47369397a62d79807 2312 acl2_8.6+dfsg-3build1.dsc
 01d0d78a44fad153febdf4142406aabc806d3cbd 711120 acl2_8.6+dfsg-3build1.debian.tar.xz
 24757dcde86b314514a337233aab12d0d7316c5c 10609 acl2_8.6+dfsg-3build1_source.buildinfo
Checksums-Sha256:
 930b52ba95141dc8d6f8a84c13e5cffc788533bf0b02272d89b8062874011835 2312 acl2_8.6+dfsg-3build1.dsc
 8bb4d0eae005d84f2434a8b4f7220e10bc9bc97d87815589f31076e3e354b5f4 711120 acl2_8.6+dfsg-3build1.debian.tar.xz
 d1dab72d261eab6e8da09979b21e61902ac171591183df6b8581e9d0ea9c6d83 10609 acl2_8.6+dfsg-3build1_source.buildinfo
Files:
 f547c3ed857d519eaf1d6f7954da3077 2312 math optional acl2_8.6+dfsg-3build1.dsc
 dd4c2c3e8d0e71f560f30dbaffcbf569 711120 math optional acl2_8.6+dfsg-3build1.debian.tar.xz
 1780fb716224091cb7f0e9ffed14d4c4 10609 math optional acl2_8.6+dfsg-3build1_source.buildinfo