-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 13 Jul 2022 23:52:46 +0200 Source: eprover Architecture: source Version: 2.6+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian Math Team <team+math@tracker.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: eprover (2.6+ds-3) unstable; urgency=medium . * Complete d/copyright again. Checksums-Sha1: efd25d65bbf631897e5d5fd24160d0cfe98fc7de 1916 eprover_2.6+ds-3.dsc 33ae032580a065645ff1105ee80c1679562eb978 10228 eprover_2.6+ds-3.debian.tar.xz a36e174d70a87b46350ee345efe912bc00e21939 5809 eprover_2.6+ds-3_source.buildinfo Checksums-Sha256: c6f48c665f2390894aae0c28465094354100456cc82a9700f1efcf9bb7631c26 1916 eprover_2.6+ds-3.dsc 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52 10228 eprover_2.6+ds-3.debian.tar.xz 3d02da88ee21b29cce7a27233e93462bf5bd002e7dc96bf12bd2ecc03a2cc3e1 5809 eprover_2.6+ds-3_source.buildinfo Files: 8dc5fbe404eea8acf1c9afaa8c1ea6b6 1916 math optional eprover_2.6+ds-3.dsc cacd19b43aa4b1d9e13a8284b3cad425 10228 math optional eprover_2.6+ds-3.debian.tar.xz 75e55c79eee91cfa2785a23e45f12da6 5809 math optional eprover_2.6+ds-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLPPtESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRh+EP/Ra3dHQxDblmftf67xqYU9WuWVuHIiBV TN2+WAWNnMwfRUHfQkt90XeAqRzScSMZqRHIoxCYA2dKnvoBpgrr6j6IZ7W9UtHS 3tlUm1ex6vDxoy6TasdQqFBX4A/oh54AZcOe/Oxqb3omz4oWp2coF8CpFTx2bAFS x+aP0Hjq58aeOu/X5VWaOJKtXowTzrCQAx8J7L11FU/nLOMcerG8Zb5ia9ctOzsq m8wCfrmOIkPamBufVDchTnqMOsjS/3+P2QhqeMK7yq/OnEriXphP6k6ZcHD0bijf rwaBFkGQWsPxp7vG5wPjtQLYm8TcN0IWH/tcxNdyaDGGctmD3s2+Y0kK7X+0AOAR /1cqyoeRngLKNWn/z6sDHt/ilTlYoVVi3KZRYhWQfU3vdJH6Rk65u+PcE+ZjaZSg lSBy3AWGWPKp45pkeHmZhk4IibaSt0SWSAjtumk91lpnwLcMnp5kdQ5WWfBvPcm0 rDnyQ7K+1KL2CeZHmEOK05IEi/q75ecqzJboTpUo6lC3PtCup1JxPEIs+TUt95t6 L2/cVyvtGw/8UeYvECvRoE35UXv/j+icMFCjV2LVk5JjS6ldIY1oy+vwXSVZTlEg A4IlHEUjiUOGkSVt/6+gXAn+aD1dbAkR7lXFO3wufyvHPJedoegRUS+Pov9k8RhQ XkpVOGjqwzVV =jD4q -----END PGP SIGNATURE-----
