Format: 1.8
Date: Mon, 01 Apr 2024 16:47:22 +1100
Source: elan
Binary: elan
Built-For-Profiles: noudeb
Architecture: armhf
Version: 3.1.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-017.buildd>
Changed-By: William Grant <wgrant@ubuntu.com>
Description:
 elan       - tool for managing installations of the Lean theorem prover
Changes:
 elan (3.1.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 e8582ae095e71eadbbe148c5f2c9ff04fc53e612 12322472 elan-dbgsym_3.1.0-1build2_armhf.ddeb
 16a7632839ed5ad541abee87f3d1f2bcc42124e7 18165 elan_3.1.0-1build2_armhf.buildinfo
 9d7c23af18ba4bbd4ef8220a9c2adfb6233caf2c 1103830 elan_3.1.0-1build2_armhf.deb
Checksums-Sha256:
 22adf866ca81e34455e0150259f925439a0cc464e40b42cd43eef63279248d7d 12322472 elan-dbgsym_3.1.0-1build2_armhf.ddeb
 ce446960a8c8ef70b12eaebdb87d4be78f3a496ce87442f9bb91c005d98eed62 18165 elan_3.1.0-1build2_armhf.buildinfo
 825a791f8efccd63c48575e6f735684774ac4478fe7a10ad3de4a949f2dd548b 1103830 elan_3.1.0-1build2_armhf.deb
Files:
 94751286aba427910a3a4ba2ff16835b 12322472 debug optional elan-dbgsym_3.1.0-1build2_armhf.ddeb
 0d8abd98e1468390bcabc271632d150f 18165 math optional elan_3.1.0-1build2_armhf.buildinfo
 ca4271f648a8c6098f39f4a3243be141 1103830 math optional elan_3.1.0-1build2_armhf.deb
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>