[ubuntu/noble-proposed] acl2 8.5dfsg-5build2 (Accepted)

[Steve Langasek]

acl2 (8.5dfsg-5build2) noble; urgency=medium

  * No-change rebuild against libtirpc3t64

Date: Tue, 19 Mar 2024 00:06: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/acl2/8.5dfsg-5build2
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Mar 2024 00:06:46 +0000
Source: acl2
Built-For-Profiles: noudeb
Architecture: source
Version: 8.5dfsg-5build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 acl2 (8.5dfsg-5build2) noble; urgency=medium
 .
   * No-change rebuild against libtirpc3t64
Checksums-Sha1:
 62206bdd5d6c510854e94c5396f6d9c260623aca 2408 acl2_8.5dfsg-5build2.dsc
 f021d5917758b7e934f76e02634cad033c72c0d7 313044 acl2_8.5dfsg-5build2.debian.tar.xz
 1d47d34802e2fde0febfbef5cc52c6386c0b5567 8290 acl2_8.5dfsg-5build2_source.buildinfo
Checksums-Sha256:
 ebc2815a395738110a9392c06a5cfe1d2c649f3143ef080c437ed82922eca4cc 2408 acl2_8.5dfsg-5build2.dsc
 477292a3d46b5a227b7bf8b29de7879e0ca522546a6fc99300c21bdcc9fc2039 313044 acl2_8.5dfsg-5build2.debian.tar.xz
 5b6a0ecadd23c8b2398d3893cf89c83f2edbb472e5855d04083ec1464adf2f42 8290 acl2_8.5dfsg-5build2_source.buildinfo
Files:
 a8b49aac5e5305a66ddd65a39c60861e 2408 math optional acl2_8.5dfsg-5build2.dsc
 4e901d6f5cae61fbc28649cb061116a8 313044 math optional acl2_8.5dfsg-5build2.debian.tar.xz
 6b311b0bcaf39cbb5d56687e30ed6b5f 8290 math optional acl2_8.5dfsg-5build2_source.buildinfo
Original-Maintainer: Camm Maguire <camm at debian.org>