-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 17 Jun 2024 08:01:15 +0200 Source: eprover Architecture: source Version: 3.2.0+ds-1 Distribution: unstable Urgency: medium Maintainer: Debian Math Team <team+math@tracker.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: eprover (3.2.0+ds-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: a3975eb2055270bf8ee468bcd7559cc971cc2c5c 1927 eprover_3.2.0+ds-1.dsc eb63651d3b2a95c3866bc8f2b713582ba3bba022 1034320 eprover_3.2.0+ds.orig.tar.xz 645965c98c8ba8785bc75c193bfdb85efd9675c8 4424 eprover_3.2.0+ds-1.debian.tar.xz bd099dc4b435a5db16fc4c0b54020caf81b83f0b 6823 eprover_3.2.0+ds-1_source.buildinfo Checksums-Sha256: f5e93964615d12672c23d40049f5052be1a54ce7115e5d39dbae90b4fc3612b6 1927 eprover_3.2.0+ds-1.dsc 0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2 1034320 eprover_3.2.0+ds.orig.tar.xz 9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68 4424 eprover_3.2.0+ds-1.debian.tar.xz 7b25ad273d387495ad3c1866e7d026938ce8fb118a7ab3e6d94dace5bda72231 6823 eprover_3.2.0+ds-1_source.buildinfo Files: 7b3e4196d51328969877e0ef45481316 1927 math optional eprover_3.2.0+ds-1.dsc 0f9b6e46c7afeab749c37c8f3bf4b836 1034320 math optional eprover_3.2.0+ds.orig.tar.xz aca7f13d6aa7e5969c6b3021cd49eb3f 4424 math optional eprover_3.2.0+ds-1.debian.tar.xz 423841641f436a4c56e16ccd0fa3278d 6823 math optional eprover_3.2.0+ds-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZv0VkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRpRcP/jm2ZNMzSfZAUNcSRzls1JvBMXt/zir9 Z5iKbherdgzHF4TfUZmacOl5uti7us9MMcCmZ8tdnlKGlMF0xUEv+MqFwM+6A6JP UmfOpLnYxNtd/OHlUFFYsUiQI5m+ic6PMoYZ47UqftV3amBqMTmsf3drgXB0jbvU spSVknhUJpsf+9vVroZwvAOj3lUnVzfw6khfqDFGCXFnzRqsG7T+VPrMxMBbfbTg e5Otr8f7Y4OmgFuC06q31t23yfHCVjBgC7R/rHWgI9ltNgX8T2kEc7glDc7bwJU2 wXRFiR3iSFv4FSv8VEJl0rnVXLfEvDBj8luQvium3IiQpp89q2fmsziR4mr4iZDi sXzWPmmowwBYZUsKLjAYzne/8kclGbRNtnLinTolx7C9rSUmlwypkCG1L3bT3edy wDnrclT3U83UftaqLcI1LfjT3uUnS8vcm+JwBUxZEvKinI7TZtYuxeGB5uEZxhAG a+aBRe96tSw/PPa32/G0Xdyxo+tsYOP+dsvL/mgLPtcJzzzs/Gsjy50NWcfK5/jc A4Er664a/QcpxGyAp0jpwOl/vDbDNAVHQPG5dpKRFWpiOWZZWB9lxlcYBUSkObHA NA3Vdbwuzprbe+eJxX8i6Jk54I6cNmWchCXkvBx2lOSBLo8nwUC66lT0/M2ni1IO RWgIE+lTg6XP =0DIE -----END PGP SIGNATURE-----
Attachment:
pgpAkvPxDveuh.pgp
Description: PGP signature