From foo@bar  Sat Jul 11 18:30:02 2026
Format: 1.8
Date: Sat, 11 Jul 2026 19:28:06 +0200
Source: elan
Binary: elan elan-dbgsym
Architecture: sparc64
Version: 4.1.2-3.2
Distribution: sid
Urgency: medium
Maintainer: sparc64 Build Daemon (landau) <buildd4@landau.east.ru>
Changed-By: Sébastien Villemot <sebastien@debian.org>
Description:
 elan       - tool for managing installations of the Lean theorem prover
Closes: 1123954
Changes:
 elan (4.1.2-3.2) unstable; urgency=medium
 .
   * Non-maintainer upload
 .
   [ Peter Michal Green ]
   * Relax build-dependency for dirs crate. (Closes: #1123954)
Checksums-Sha1:
 580f4f461254a1b2ce6fde9180cc7e92643676af 13957368 elan-dbgsym_4.1.2-3.2_sparc64.deb
 c139074de75e60a0eeed6d13c972ef6465146f50 19160 elan_4.1.2-3.2_sparc64.buildinfo
 163dd5c6797ca85e9ebb8b4181ea3d49b78d5ce0 1079572 elan_4.1.2-3.2_sparc64.deb
Checksums-Sha256:
 5879e5fda20b2d8dbf2ccffc59ec77abad4bd867a90ac341904f7a7109ecf712 13957368 elan-dbgsym_4.1.2-3.2_sparc64.deb
 a3af4cb1161ecd7b015fca69c288dd5beb193bafee3b11968549b06e0761aaf6 19160 elan_4.1.2-3.2_sparc64.buildinfo
 cb4a9c4c52833755caeea58c654352991d62b699ace322aa0574955287061d15 1079572 elan_4.1.2-3.2_sparc64.deb
Files:
 8c8721acebbb13d20326f5a7e7d68778 13957368 debug optional elan-dbgsym_4.1.2-3.2_sparc64.deb
 671948d04e29e437460b9658eb94b640 19160 math optional elan_4.1.2-3.2_sparc64.buildinfo
 3193f608f2e9f8479c23f518fe590aab 1079572 math optional elan_4.1.2-3.2_sparc64.deb
Signed-By: Debian buildd autosigning key for landau <buildd_sparc64-landau@buildd.debian.org>