Accepted eprover 2.6+ds-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted eprover 2.6+ds-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 13 Jul 2022 22:04:26 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=tPCBudK7W4m5h7FWko0VborQwiugeV86yh3WMpbQi8o=; b=dpbk+wqkQWyG20wKzijeuE70Cg nVgtFkpCD4qcFdA3kxxm3BGl0hfWxH64gQ4nhid6vgtETroXeyYbcSCJ0kjIVlGXz5zAYwdFDHJHc 9PfIcGcM4KICGlGuCnATGhrUsYSs/eMZWcA/xgiVbLEENAieDAWYY9tNW0cYvEpsZf5tySAMv40rv EDnRAlpKyarEzPTeSnD4Akv6WDXP9kjqZ2taT9ttTzfQF+zByY3HWfdCDXYlkWYYc+oz0J5gWu8lY nhgiTvmmBANi8eKVLk4dpgGqNu/A7nF1GYFDXsuOtHPMaZw2lTbOCFOSFG6bWHi0MqkAk03uoSzfv XIhM41og==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oBkT4-000Hre-5D@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----