-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Jun 2024 09:51:19 +0200 Source: eprover Architecture: source Version: 3.1.0+ds-2 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-2) unstable; urgency=medium . * Move executables to /usr Checksums-Sha1: 0f73658c1f93c8da58e14bdcb884db56a5d95644 1927 eprover_3.1.0+ds-2.dsc d4b685e300daf4417899c6bfba18b09daba3eba5 4408 eprover_3.1.0+ds-2.debian.tar.xz a7f051c24ef845e8b90878a6a2f435e827e463d0 6856 eprover_3.1.0+ds-2_source.buildinfo Checksums-Sha256: b05ced6ab8f8ded719e4e23c4d31d027021708aa8008bc8f52280feddbac3c41 1927 eprover_3.1.0+ds-2.dsc 81dd86310d0215cf9c935763bf21a09ac34ad2c368d536693b9b0bb3aaa9b167 4408 eprover_3.1.0+ds-2.debian.tar.xz d061e28d57062cfbeb939d625732b0d82d0ec4400f9f31c0c2873a24e2001ba6 6856 eprover_3.1.0+ds-2_source.buildinfo Files: 5744874f7065948c448eacd5246bd63c 1927 math optional eprover_3.1.0+ds-2.dsc d39ac55ec65b32f960054fe3a2859554 4408 math optional eprover_3.1.0+ds-2.debian.tar.xz e285436071a1c1b56e66145ce0461818 6856 math optional eprover_3.1.0+ds-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZoAh0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXG8P/jvj1w81HwcNx8EOFwUrFv68r90irrXT 8lF6gu+d9liZDq9Rrclax8p4/LceagSYvNdmnPSthEwDwZBaov9KThXMM7qA2eTU EJK9m2GLLpr+KXXhhhyVcqIGmLG/885xoc2WyCbkNCVqXt9WnDVwj5YuSVvDqb2h MIfvE4Xqv9OpoOwaJ5+AynwPnNra4ndN5Ci7KTmfWjBMONqVb1iKTDYY81TmHahz SO7BiwCaVICqUOQhAAl8zsc55yjLU6vi9ok+OKej+DuCMWOJEZX2mDEiqWbM0VCr soUwaBkQ0aif+4eGlv6dA9eq+pV5ncU1mamFY9AWrgA0ogSUDIN6V5SZJAhS50Xk SQaoRLr7Y5c4DbcQ1RwOeVTGfwVQSpb8f8Hi7LnEmWm2S+QF/LeICQQ6xVuGWjbx 2zdDQi70Bj7SgX+eY9VwK0UJD8WNLXAycKPgrHStdXOb5T8kX8xnVZTw2pnAu/5Y h25l7daGlVJLmpMrf1y9wdENno76UckvZf7w/M1ZXCRNiEH6jy+KNvEQmDh14+KH Ckv6AHTBUaoFdr8/3rCw+ldM3XEt9A8lGZkov7iq3pi5FoFzRuCgTaqU82qV19Yn 8XJsRXncFPbMNrUTChkdVecS2EmSZFjvOM/4rbdAtDfN2/E2Ef9EFBASgSAX2Sda WVvMtFq3t3H1 =PXy5 -----END PGP SIGNATURE-----
