Format: 1.8
Date: Mon, 01 Apr 2024 16:47:22 +1100
Source: elan
Binary: elan
Built-For-Profiles: noudeb
Architecture: amd64
Version: 3.1.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-095.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:
 27732a6133d06b26fc49d48faef86ba310454de1 15205438 elan-dbgsym_3.1.0-1build2_amd64.ddeb
 e361b1e438191165c2cac5227e3e6c95d9b8e72f 18286 elan_3.1.0-1build2_amd64.buildinfo
 0428ac0c7074a7be4969679441f73b8967becddb 1465728 elan_3.1.0-1build2_amd64.deb
Checksums-Sha256:
 3ad536ef7e340720791edd4358172fb0f29a07585e320c148fd1eb056e2293cc 15205438 elan-dbgsym_3.1.0-1build2_amd64.ddeb
 5fb4d48f143b88d7b3303c857763f851293b67a019f24ab947cb72709fc50c6c 18286 elan_3.1.0-1build2_amd64.buildinfo
 a342e78d930d040982e8b962878d37013ce22433a9259b290b13dd5c1c017a30 1465728 elan_3.1.0-1build2_amd64.deb
Files:
 61e20cc8ea38148fb22ff8f7858ab2e5 15205438 debug optional elan-dbgsym_3.1.0-1build2_amd64.ddeb
 6aed7a5919673e2f38d5c5298b792a75 18286 math optional elan_3.1.0-1build2_amd64.buildinfo
 df9a1295a5ac96e55debf8fd1f4da43c 1465728 math optional elan_3.1.0-1build2_amd64.deb
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>