-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 18 Oct 2024 23:03:46 +0200 Source: eprover Architecture: source Version: 3.2.5+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.5+ds-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: c28f59149e52e01fe054ae925876c8b14d72dcfe 1927 eprover_3.2.5+ds-1.dsc a145d17fe65236a3b46a63a16ce76adc32b94e08 1035484 eprover_3.2.5+ds.orig.tar.xz dce43b0cf04359d402dc6ed6ff138b9a9577c5c9 4448 eprover_3.2.5+ds-1.debian.tar.xz 74465642ed9781a25e56acc5ed787b9d64800ea3 5689 eprover_3.2.5+ds-1_source.buildinfo Checksums-Sha256: f92a0085cb0877b44806f890044bf78c46e8d42a970a80cc028e7400e1ae1fb4 1927 eprover_3.2.5+ds-1.dsc a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a 1035484 eprover_3.2.5+ds.orig.tar.xz 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf 4448 eprover_3.2.5+ds-1.debian.tar.xz 71ff33783814741f4413f9179cc7579b4fbfb1d783188dd85ac3b9a26d8e16ea 5689 eprover_3.2.5+ds-1_source.buildinfo Files: 7d29a4de317b7c8fa5c0f9592cf7e6e1 1927 math optional eprover_3.2.5+ds-1.dsc 2def1cb0a3843b47907193cb22a83701 1035484 math optional eprover_3.2.5+ds.orig.tar.xz 5a6f0a977494d739c546ff9f11a4a444 4448 math optional eprover_3.2.5+ds-1.debian.tar.xz 70944702517e5434349199f3be06a621 5689 math optional eprover_3.2.5+ds-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmcSzWUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0eQP/jJa1J+l3Rb/yQQ+jRl8cYS3pfeX5+hR bdyZNqVNw18YEd0siaM0XhH2I/R+qhpNmpGw/Qp/9TP/n5RbfHKbP/r3cMBHNjQ1 1l1Yqr4OFQ6RY38FWzyxQTnWqMmz4FBtcGKZKOOsfFx0m/POShX5JwEGy8rM38nI XdPDEGO0mJVo1UNOPPVQAYjGoWn3mTKVl6Bh58DiqEEJLA1qMS98FRa4XNEfuM8g eQzbiAHC2nkxs8kITGlCMl4syfK9gN0s+rxyDU/4707GERuFiJ/qVZNbhbMU+9Qe Q77OPAMKd/zlR10jaj79+60rMc1t5scN9DIH86CY+JYCl4aEp6QViQJPEDzETizY +nQiBGSCLhdYm11Ur3HlWx3lDKUw99KksorSIVfp1zJjiVWrNFl2tVNlSI3i912x 5sF+sVFvh4YaJfc74jqm3AzsDdICMjiXsLcnJXiKUf6f61EmqMQMpX32QTCAyP2A 6lEGDfCZQyLU/dm4/L9JIF/ies3RAZfzZ+MZIGd2OQZBy8eEjqhuSEzIkXltgKw4 KBs9qVNVuQMMrT2Kplv3cVvcpfr2eg0y68aS2Hz7wxz15HftXOXKJ+1cpgle/VMq M6Y27ZJOCoh9M760INivOmhLJ7DBuf3DUrznrgMAK2ldwhP1m7YWc5fQSKPwk2rJ wbr8rNaAQH6N =A1Ox -----END PGP SIGNATURE-----
Attachment:
pgpvQkOVxqtSn.pgp
Description: PGP signature