[ubuntu/resolute-proposed] eprover 3.2.5+ds-1build1 (Accepted)

[Graham Inggs]

eprover (3.2.5+ds-1build1) resolute; urgency=medium

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

Date: Fri, 16 Jan 2026 21:17:30 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian Math Team <team+math at tracker.debian.org>
https://launchpad.net/ubuntu/+source/eprover/3.2.5+ds-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 16 Jan 2026 21:17:30 +0000
Source: eprover
Built-For-Profiles: noudeb
Architecture: source
Version: 3.2.5+ds-1build1
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:
 eprover (3.2.5+ds-1build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 3c7285c9b8ea235f89f376de8f16651dd4e8c2c2 1926 eprover_3.2.5+ds-1build1.dsc
 224200d411bce46d63cf44638dda8a1a64303578 4516 eprover_3.2.5+ds-1build1.debian.tar.xz
 50d09f5a772f5ef3b825230066dcffdb5af82da1 7319 eprover_3.2.5+ds-1build1_source.buildinfo
Checksums-Sha256:
 e856b20afe93ae4e6dc4406303cd06856781ca28c81328ff46905c398ad7cbae 1926 eprover_3.2.5+ds-1build1.dsc
 12e9cb8987369a707b8f89c19267c7a1d631b60fd33808dcb46d59e5745cec94 4516 eprover_3.2.5+ds-1build1.debian.tar.xz
 2ca29e0e1ba8bbe11ee0e30de54e78c3bf303d48ed3fe56b77cf50137a806bc6 7319 eprover_3.2.5+ds-1build1_source.buildinfo
Files:
 d4491c164365bf3a4e14d223dc34409d 1926 math optional eprover_3.2.5+ds-1build1.dsc
 ddea61717b769cc27e9334bbd7170df6 4516 math optional eprover_3.2.5+ds-1build1.debian.tar.xz
 d4b497b9d2fbc4a82e9bf74abf67c79b 7319 math optional eprover_3.2.5+ds-1build1_source.buildinfo