[ubuntu/resolute-proposed] proofgeneral 4.5-3build1 (Accepted)

[Graham Inggs]

proofgeneral (4.5-3build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

Date: Tue, 27 Jan 2026 16:08:18 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian Math Team <team+math at tracker.debian.org>
https://launchpad.net/ubuntu/+source/proofgeneral/4.5-3build1
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 16:08:18 +0000
Source: proofgeneral
Built-For-Profiles: noudeb
Architecture: source
Version: 4.5-3build1
Distribution: resolute
Urgency: medium
Maintainer: Debian Math Team <team+math at tracker.debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2132257
Changes:
 proofgeneral (4.5-3build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 4dcd329f6bf65a180870203060a2da48995b6729 2121 proofgeneral_4.5-3build1.dsc
 6f08ee4f921a92aaa0afff92257e16ad456a08f3 17496 proofgeneral_4.5-3build1.debian.tar.xz
 72f0a9244eca953a80cc836622922b7184af6631 7255 proofgeneral_4.5-3build1_source.buildinfo
Checksums-Sha256:
 cae9d5e5bc2b98bc2887fe7ed52b679f579158e158218d53f64d8e81e63857f0 2121 proofgeneral_4.5-3build1.dsc
 81c2984ae6567bbb5f8c0ed64aeb5da788c0d4ae0591b98056aa54eb2b31610b 17496 proofgeneral_4.5-3build1.debian.tar.xz
 3ae6e90ab8cc2761c257bfe42d286ee6b01a7b125a9ee9e4f7c047cbd8cd7105 7255 proofgeneral_4.5-3build1_source.buildinfo
Files:
 6cd34bfc9548cf71e439f9a1a030425a 2121 editors optional proofgeneral_4.5-3build1.dsc
 5540b6f0645a13b12a664e470f8ef3cc 17496 editors optional proofgeneral_4.5-3build1.debian.tar.xz
 8cb60dfe3cda42a06dbd72be1976127e 7255 editors optional proofgeneral_4.5-3build1_source.buildinfo