-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 25 Oct 2025 16:33:16 +0530 Source: maude Architecture: source Version: 3.5.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Changed-By: Nilesh Patra <nilesh@debian.org> Changes: maude (3.5.1-1) unstable; urgency=medium . * Team Upload. * New upstream version 3.5.1. Re-diff patches * Bump Standards-Version to 4.7.2 (no changes needed) * Drop Redundant "Rules-Requires-Root: no" Checksums-Sha1: a486e4c2ed31a3f19e5d3b84ff2bcae699c94dbe 1425 maude_3.5.1-1.dsc 192fbedaa79d8eb0c0f8caa1fac5e7c12d06f7c2 2239270 maude_3.5.1.orig.tar.gz 8f0e322f701414d19b61c774cb9186e0ebb6908f 6580 maude_3.5.1-1.debian.tar.xz 1b965ea2de266d71f4814922c5ba9ab41b62df24 5514 maude_3.5.1-1_amd64.buildinfo Checksums-Sha256: abe0b7a1ea8e9762a49a147f45f8a008d16135e28c6adf4206c9cbc10d8d997f 1425 maude_3.5.1-1.dsc 06067d98b98af68532b3ff85424443e18220bd78ab0789468ad82bd68a73829c 2239270 maude_3.5.1.orig.tar.gz ad1a47e596fc2b9722fc6adccb2cd894c7f2f7a49c521c3fa1fa2dcadc7c40c0 6580 maude_3.5.1-1.debian.tar.xz 4789eff1c525fa9e8b48627e17e9af5e910c047ec4563e79d482a03ade3e6edf 5514 maude_3.5.1-1_amd64.buildinfo Files: b22f9b714d573c97345de2453e81bb7e 1425 science optional maude_3.5.1-1.dsc 9d3ff10c8b0ca9ea7e4686af52b3e124 2239270 science optional maude_3.5.1.orig.tar.gz 502d6faa6176f999c4297963acd0326a 6580 science optional maude_3.5.1-1.debian.tar.xz c7e17e8c0189351268f52eeca60fde5f 5514 science optional maude_3.5.1-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iIgEARYKADAWIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCaPyxRBIcbmlsZXNoQGRl Ymlhbi5vcmcACgkQKieQS9ckPtpeAQD9Hv1Nmp7dXmATFedXL6+TZWnQf+t8KjPw 5XBvmaY/S5QA/2E3fmKJc6hEu0bCbeHacMuo9dGF1dv0jnMAASY6IKQM =LAfq -----END PGP SIGNATURE-----
