-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 02 May 2024 15:58:03 +0200 Source: eprover Architecture: source Version: 3.1.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.1.0+ds-1) unstable; urgency=medium . * Drop unused patch to simplify the Makefile. * New upstream release. * Bump standards-version to 4.7.0. * Refresh patches. Checksums-Sha1: 07e7898dcdb760f3c0a35835402d033085f06208 1927 eprover_3.1.0+ds-1.dsc bdd8d56b8999a25a619decc891d399666ba810cc 1034252 eprover_3.1.0+ds.orig.tar.xz 5ff2070eef7fe7952a09a0a5516dfcbb4eb5b2a0 4380 eprover_3.1.0+ds-1.debian.tar.xz 8c1225cc9b1050741e586ee8b83426293fd954ea 7068 eprover_3.1.0+ds-1_source.buildinfo Checksums-Sha256: 2a5a11f729f36e58e884f03f263b66f89dcffd4c8e040fec6c80971c1320b13e 1927 eprover_3.1.0+ds-1.dsc 7cc1d94bcd6511c8e54609ff8698352962bde97088a36d25fcb2968f80c0dbb9 1034252 eprover_3.1.0+ds.orig.tar.xz c37652d755c7de071ff74ea91233ada7471b3139caaa5827caf4197142c03e76 4380 eprover_3.1.0+ds-1.debian.tar.xz 8004f6853019b45ae8014ebe7ac898d32814e75c6cb404c0e38acffbe3384230 7068 eprover_3.1.0+ds-1_source.buildinfo Files: e2876c340e08b69c1ba40970239fcf86 1927 math optional eprover_3.1.0+ds-1.dsc 0dfbc863a7a39b13ab0979a8fabf84b9 1034252 math optional eprover_3.1.0+ds.orig.tar.xz da3fc7c998ece8383167bbf03a353143 4380 math optional eprover_3.1.0+ds-1.debian.tar.xz 9170e93dcdd3d2407b7c4f7fa902db7c 7068 math optional eprover_3.1.0+ds-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYznCQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRTSYP/1ywJb4sjcCiLtoAecSSOtWtwuOHQWiN Vdd0HhUQMTdPpq6w/MRUneIlNtWudVenNHfdWLXyA6+QQRUERBceVe3AwGBRMAvr Q07c1k/eMJ9AOcZFMiLYEeFFelAooUKJbfigZzC6KjeKQf0BnDgefeOhfFSdrb4w VYpM17v7qpWTX6bD2Dkgu1Pm5iRgI1r7rqXSKV1ah7hEepWEjM+MyNeRhlJn1+lv PIbh5ff3aBN97jUmN8HMRYlvwb/NX5RqT2F2uzYWIcr1XFtcnwlPQrRL3Shwrbql Ucjad+5zLHo1A90jiMIfmm99nam+uZFojHrgzUt06hkgRhaRS5W0kUhC9PmMrlyT +wixKoz4bu5cDEJup3wvD/TcFpHoWW5pVqomvq8w0t8sHHrfiSurGsUDyngn0zBm aSEOQVbcQU8mBnNeeRw2Ulh8RXShRunNBPiJU+Wb75dnw+29HL+DxJgXn6hYYqm+ dohjn9UckNgO9TZILXCl79/37KPzu0JKpqG4l2HOfxcN2Hu0ru3L5aIFYiPHe58l 9eN4jSC5GJSgaBZu1hUvdR6pRwbbDvwVKFamVYm2/KNm+Y3SZ1uC1Is0d9I7U6kc QQoUISidnuAUO63GZvR+fk/6qJ/FrcLJeUrmpXk5f9G9KkUw499Kn9b0VWr4Ajyz Xo/ZiFGSsQVK =hFjU -----END PGP SIGNATURE-----
Attachment:
pgpjiKR7q_eAc.pgp
Description: PGP signature