Accepted mathcomp-algebra-tactics 1.0.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-algebra-tactics 1.0.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 13 Jun 2022 09:04:36 +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=4o+yhEWxAPzZoYt/bln5Fn4XTu7H2/MjBs8mkuA3ohA=; b=q62uU0V26OY/BCgqbjelrXSqHF 4d+JrFQtZDxzRg99UUWYnmLniwwXchFY8VRD3FTITvOidDICNV+vNyWj7g1G8UJoszzhKzf4MqV8D xk+mQTmdf6JEq5D29HF1YCmN5X0hI0bjq6agGqUSTF6hHfccRUYaPvCriiAJP8RdM80QSFlbgfB3p MyHRVsyt1zhIPhqBWAk3P6QLD/HgHJLyLLtRqGxGjYLUKv2wuF1wcWc0vU5G1zxDURE/dHqIjXJRJ KIEx1vr0Gb1XTQbW1YHlR9/qqV22jgCAlv67V9UEpzcbkLyrDeMgUwWzr//DCWYTh3VyuV941OyiE MAvGAx0g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0fzw-000IVj-4v@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 14:20:14 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-algebra-tactics (1.0.0-4) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
a2a29e62873ca5649ac5102cc9dd2ec6f27d102e 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
50cb43d3b00a6870f593868bb4d0ab9ba30b2ca1 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
f2f905514e0cf2d3d5cb982932d991ee3c968564 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
Checksums-Sha256:
33aa87361fd8230b46005261ea92d3934e66cdb32ff3b31582c29e999e2702fa 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
76b5fb621edf957f854eb1e17735de49221c7a5b09db8380f25c951b195ce727 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
2c5b587432eec12f0095842e4064622b51adebbdfd4a699f9490a860f178fd73 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
Files:
b5e984ddc288c5959ebecf4504c1d766 2183 ocaml optional mathcomp-algebra-tactics_1.0.0-4.dsc
6169d5aaadb52c1f856b5ede95c977c6 8508 ocaml optional mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
7801fa806ba4861ca53d80b22a03ae12 6839 ocaml optional mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+mgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/98P/iSj5jI+S3BXHi8X/pZhEp58+OvIn/sp
3U/2bzZNbP6Ne5ONJ6R4cgD7zZ0cxOP4hQ3PXfi3UqqtzUIssUISgHiZrk9KVx+Q
QtLjUux4nFyrCQn+k7fVyYEHwTl6mjECeM10ydFdkcTA0am0KRg9WyWPkR8Nor7+
QhY8sUaPWAPBhh5RmDeMoodfa/PUAYWfTw7jDGD+26GUApzpjEMv/ihnIpKa+y0y
IXgCiMBtY3BXxsT9IICmG71HxzfGNDUG8nzkujddyJ2yIrqZFDHzIEG66lldZZVV
kzDaecRFV6LHaGIwQh2yPOOEMwnpwOUi3GCvdwVx571rlFNiALHokiaU5fnyNi12
0nRJs/usOwoUM8BxZhfV6HPG5HjXdI+Or2gS8Xkdm0Lf0firKHlsyX6q4rfJ1QjW
cCCO/ub9f1NHgmjIRbsnPuG0651XGecX1w1cY5hu9i/V7lwtDnLQuEHzb/JIB16T
F1M+8/i6WakPwWSL8JydB+N3+6DdvoIa7Zwtux5JTePKTuuB3xVhWipE5TZQ6K2B
hyoGMHYGmSme6vIYJMcInXsD3Z1ZBvX4S3ZC1/fdut3WLXEa/kdGAXRP3GEHT3M2
ub3ZeglRk+OqU7YBTMJW2kC/vIyLV4hn2UL1AkEbK7vkqSdfFzWzLxzALbMm5CQn
ruk+sAjGe34f
=9jbW
-----END PGP SIGNATURE-----