Accepted eprover 3.5.1+ds-1 (source amd64) into unstable

Debian FTP Masters <[email protected]> Mon, 03 Aug 2026 17:52:04 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Aug 2026 19:09:12 +0200
Source: eprover
Binary: eprover eprover-dbgsym
Architecture: source amd64
Version: 3.5.1+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 eprover    - Equational theorem prover
Closes: 1119407
Changes:
 eprover (3.5.1+ds-1) unstable; urgency=medium
 .
   * Use dpkg-buildflags (Closes: #1119407).
   * Bump Standards-Version to 4.7.4.
   * Rewrite d/watch.
   * Package new upstream.
Checksums-Sha1:
 78f947d4e897750adf0141fb2fa11f8207b537a6 1939 eprover_3.5.1+ds-1.dsc
 737f57f143425863f967158608553aa572f16857 1043040 eprover_3.5.1+ds.orig.tar.xz
 28153e154b03421d0214b647aea48e08c9e4d5cd 4644 eprover_3.5.1+ds-1.debian.tar.xz
 f70ca0950c5f56a80bab0f18f206c3577c2d6dce 11656064 eprover-dbgsym_3.5.1+ds-1_amd64.deb
 939b7a047e14196b52df25980301332e1d6f1a04 5914 eprover_3.5.1+ds-1_amd64.buildinfo
 076bc172a3fbaae64acfc05da0e04aee692d7b21 1093740 eprover_3.5.1+ds-1_amd64.deb
Checksums-Sha256:
 c5144fde719ff5a6932baedb6b171c19c44259504b412f8c465e822475341909 1939 eprover_3.5.1+ds-1.dsc
 a11e66f5e57ed102e7d8232769759ee9c485a803daf74b4805a575c8148d4955 1043040 eprover_3.5.1+ds.orig.tar.xz
 a7dc7eb90215da97bf7fd784e4ae4047edc8055b0e7206f4b39a4faa66a79526 4644 eprover_3.5.1+ds-1.debian.tar.xz
 d47793d95cd2191f1bc28fd3f73b9fb52957f8a2dbefbfc8c25680d729667cc0 11656064 eprover-dbgsym_3.5.1+ds-1_amd64.deb
 6d8ee58cc6be105324f2da4532cb302c5cfeafbb59a4af394ada4bb42d97bfd8 5914 eprover_3.5.1+ds-1_amd64.buildinfo
 71f58a4e64b3fbc2584153c19d85acf905f9b01b914edcf5be540d92df212f21 1093740 eprover_3.5.1+ds-1_amd64.deb
Files:
 f938ac80cb544f966f25f4eae4beb6a9 1939 math optional eprover_3.5.1+ds-1.dsc
 8f18d240b3cb063b32707b3cb33ab99b 1043040 math optional eprover_3.5.1+ds.orig.tar.xz
 ed734423e3fafb6cbf117400791cd9f1 4644 math optional eprover_3.5.1+ds-1.debian.tar.xz
 8d1161d95a1f254d2c4f42610e786d62 11656064 debug optional eprover-dbgsym_3.5.1+ds-1_amd64.deb
 b405c154c98c292259fba10e6ef77431 5914 math optional eprover_3.5.1+ds-1_amd64.buildinfo
 cfcd1df81104004435c6d2092489161a 1093740 math optional eprover_3.5.1+ds-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwzIcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX3jD/wInKUNpQ4RhcWqpfGlMNf3
/aWzUakZmpKxJjkBTg04pqJn1TluVwIeQ8aPBe0KQIIgNe25QNrfNsQmjdN4q4wy
HpT8Z3QwmqCzDmiEoU0y8JXqHl3GQkAXJ5DnljhMwT9XqVIpYMyraWbpSWp6+T9N
oCRGS/89jqcq5+xbLebd7qSet1/6sHd/WjMOYpRnouyn0mB/wSSkSBCVOZX6Hkg6
E7pqSTV7XCKNcWWoGsF6JspYl9RZX/oKBVW7L/i5d/chEaCo3UA4hBZbtxV2TUw1
vVuliebLbxXBmWAtF4SBxjWdvT0GUzAVuNCQSsKzb7+BbFOSno8YTZv4cyM++QuT
dsPjO4qIV/yiurEtrXlX4JhlGb8oi22XOZ8prLCMLjXvVJXzhfHzCUM1D+coUw3s
PMILJmIos3i3ZHdVnaEqXlEZFGBQCWzGqCjD0k6af2F6WcmDXB3GzwMVUFoZAJzL
kiQ7fhR79q7eEkOPUY5tfLaEuiky5VwIp+nwocNkAaYF3vgd48f1DEfYFzovZ3Cn
PBHlfsbeVXnr73BlJ302KztzDM9LwculUipZ7MbGRbBx1Pp5DEjqTcFuIHiEWOG+
r2TsWNWyZUiRUb4Ev16Odq78u8HXk05z9V8/cyKXJt7JzT/xhotn4fNUeE5f/F3E
lvHVK3BSftpZ4I1MLYCiww==
=QoqU
-----END PGP SIGNATURE-----
signature.asc (application/pgp-signature, 228 B)