Format: 1.8
Date: Mon, 01 Apr 2024 17:05:30 +1100
Source: hol88
Binary: hol88 hol88-library
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.02.19940316dfsg-5build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-100.buildd>
Changed-By: William Grant <wgrant@ubuntu.com>
Description:
 hol88      - Higher Order Logic, system image
 hol88-library - Higher Order Logic, binary library modules
Changes:
 hol88 (2.02.19940316dfsg-5build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 298c4956a78f6f48007611a08896aa4fb6e25a77 14861120 hol88-library_2.02.19940316dfsg-5build3_riscv64.deb
 766143a6dca54d11dc8a39b3b8e281f9bcfc3222 11502 hol88_2.02.19940316dfsg-5build3_riscv64.buildinfo
 3c534988a482e2b50b26871d96e1730b98aa8667 7696796 hol88_2.02.19940316dfsg-5build3_riscv64.deb
Checksums-Sha256:
 86fad13a023924b60cd8cc3be976e8c442042a22864b821772244e631fce3814 14861120 hol88-library_2.02.19940316dfsg-5build3_riscv64.deb
 213b813048984577179a51b262029fe307d90b2f622c99dd168503b13d851e8e 11502 hol88_2.02.19940316dfsg-5build3_riscv64.buildinfo
 7cf2459529a33dbf926ada638ff86bfa5b0e5bc4f4342dccc3e296642805ce3a 7696796 hol88_2.02.19940316dfsg-5build3_riscv64.deb
Files:
 9b0dc278db90457020d79fb3e097f84d 14861120 math optional hol88-library_2.02.19940316dfsg-5build3_riscv64.deb
 5f2c85f87f211750d81ff54b95dbd08a 11502 math optional hol88_2.02.19940316dfsg-5build3_riscv64.buildinfo
 20b01344718272fa45ac7a35668b236a 7696796 math optional hol88_2.02.19940316dfsg-5build3_riscv64.deb
Original-Maintainer: Camm Maguire <camm@debian.org>