Format: 1.8
Date: Mon, 01 Apr 2024 16:02:30 +1100
Source: acl2
Built-For-Profiles: noudeb
Architecture: source
Version: 8.5dfsg-5build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Changed-By: William Grant <wgrant@ubuntu.com>
Changes:
 acl2 (8.5dfsg-5build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 d3ac3da9a52b084b4c737fbae2196e43f69918b1 2371 acl2_8.5dfsg-5build3.dsc
 bca87d07588ca29c7d0efc21e22ede07fd2ab75f 313036 acl2_8.5dfsg-5build3.debian.tar.xz
 501724eda934236f3204e119678297ee5d52ca65 6798 acl2_8.5dfsg-5build3_source.buildinfo
Checksums-Sha256:
 adaf1b1fe9072d9497b3d7c74cfb606731b37d67ae2c99d2eebb3fbe37eb8534 2371 acl2_8.5dfsg-5build3.dsc
 4fb14d3b1a83741437778df30d1aa9b6db595a821235a5b401e4f67a02fefc6d 313036 acl2_8.5dfsg-5build3.debian.tar.xz
 475213f960abb4c35e72ff8b66ce7dfde11a363beee7b6383e1ac691211c5201 6798 acl2_8.5dfsg-5build3_source.buildinfo
Files:
 3bfcefb4e7426f2b818b541247a81ea8 2371 math optional acl2_8.5dfsg-5build3.dsc
 c643f77093e836d9bf8b1528ffdede7a 313036 math optional acl2_8.5dfsg-5build3.debian.tar.xz
 9178a32fd2addc41db4607806d9e7d24 6798 math optional acl2_8.5dfsg-5build3_source.buildinfo
Original-Maintainer: Camm Maguire <camm@debian.org>