Accepted eprover 3.0.03+ds-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted eprover 3.0.03+ds-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 12 Dec 2023 14:37:15 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: eprover_3.0.03+ds-1_source.changes
- Debian-source: eprover
- Debian-suite: unstable
- Debian-version: 3.0.03+ds-1
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ssN6jT1R9ymkdJBQUw0/p7E8mOc/kQqJnCNeHG0X2zA=; b=s5YgBluvkEbz6wf01+Or/YxeA9 B0LIOepyZHQ83eoME+9wAYgf37U8EIVe7yJvW+yqCSCIRBZO91u1+4hE5hXhMQFuEArPBJ4ox4rLE MtM27m5eByUNyYNv8nFDxJACcVkz2PidZO6T60cFJzZWAoZ2N2hMmT9Puo+oEUBtPxGZqbRCrAyjo wwN7Eu7Pl/qkalDc6BdSE/KRGw+qW93cvv5Y5Kh0RO4mo+TuNhaPbBVK8YW8KAN4+1McCnYEsf2vn OwBD0Xwbh6rlGvjgBWks9rPYOaZ28yetl0qG39kduoIwGzZksdOmGSuMICce5G+04H3+EB2YOPzUY AKSiTUKQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rD3sp-004zrm-Iy@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 12 Dec 2023 15:15:05 +0100
Source: eprover
Architecture: source
Version: 3.0.03+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044847
Changes:
eprover (3.0.03+ds-1) unstable; urgency=medium
.
* New upstream release.
* Refresh patches.
* Fix clean target (Closes: #1044847).
Checksums-Sha1:
e3cddf3db175a10eb2d036bafd874b75b3bb43e8 1934 eprover_3.0.03+ds-1.dsc
9a9b9a33197ca3e90ccf4d961c201027bdcdbdc2 1031728 eprover_3.0.03+ds.orig.tar.xz
cc176d9ffbad967065b94ee0221526c9dea252a4 4892 eprover_3.0.03+ds-1.debian.tar.xz
ebdf4e1ead10c889679488fa2a0a635d75a809ad 6802 eprover_3.0.03+ds-1_source.buildinfo
Checksums-Sha256:
93ba1c785238ba2d51b8273de93b0f6cfc79b7f7572363e2341e55a043ca3a46 1934 eprover_3.0.03+ds-1.dsc
f94276e6862911bb1d81d7e7ad5c2535cef13864f1fe02f5b90b05f5a80e5f64 1031728 eprover_3.0.03+ds.orig.tar.xz
235f25b56c7eea4b1d835ae3830f482d6d0080e2f3a53e908729473e7889de42 4892 eprover_3.0.03+ds-1.debian.tar.xz
088410919da72779e1b197e5a6524b21b9c3d576de376c8b3bc4bdf57466f24a 6802 eprover_3.0.03+ds-1_source.buildinfo
Files:
15216210a04afbc9dba3cb58374ea9d3 1934 math optional eprover_3.0.03+ds-1.dsc
bffa5911331e1fa308f350b02a744f14 1031728 math optional eprover_3.0.03+ds.orig.tar.xz
e25f0e927fced589604c9711464e202f 4892 math optional eprover_3.0.03+ds-1.debian.tar.xz
e62793562fa50f5cabd28b0b23688702 6802 math optional eprover_3.0.03+ds-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmV4axkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjzIP/3zrgWwiMPI9ptC2Ar5+fgbDHjN0xEVj
NepgeFznzj0bSQ/hIaxCWrydzM9An2d6CFxoeKSahat8qbxJvna6Ut2o5A8nobKs
v70Dk7pkWEbPjlUHDx01uzyNftvA8D5wEDzcvfh7aNmEVENMVpgVMu1bQwI6gdO4
Ssiopd4+M4t3zldNSUoeMy5ynZb4+wyAXLLe9Cj1FBaSNdGLL2lj/HaLS8THFSj/
ZO8EctRv4jxumkTOKp/QMxRAXeReXfIpPQy8kdMrEbiPeJDv+E+gyss6/MNI1l8S
RGKGrhBD38QBwb3h8WxEe4oRGzwiaqO2I3QYDveHWw9MwYKP8yNSezUvREvx716Z
LF3+udN2F25zcvUS/rTdG0hTVx6KbeVVrX4K3hRmTBNiG1A53ebA0NN9XexG/Sl3
JHp621SRylXujUbM9tHoD+Sd5mkVyBRFJqXyz7YfffXiHMgauxVi50eywh19btNZ
L5kT+GTS7NnwIskTxGpCGqfFcdivCD0DeERBMqHWrrLPvf4t5H67C5svvc6oM7yh
N5IkAFr+6NrdHe4AriFo2izJ3Y0H7LSAtEqsodqLmVuN6fr3pmObyx+M4jsCt8BO
PVf+wtLw1DOCRY7PYGDuL4z5hysDarxOeZMIZSli1FQJpHhg/p/LgJ9ZVBLyu0aL
4DBwJ6x1NqMb
=HmOU
-----END PGP SIGNATURE-----