Accepted coq-stdpp 1.8.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-stdpp 1.8.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 11 Sep 2022 11:33:57 +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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=XET+FO0zJge3RAZqe2zo4toS0YvHIGdNrcHcmll3poY=; b=fMjbcd3ugj5CjKoVg8c0WGBakQ k3fN7J2fBWmy76DEEP3EAKyBGPdzDXP+0cI/GtiAvBvE1CnacjRwvG7heZoO2REa9Ti1D1/X+2WHI 2mFnUfJzmpf9yVvCLsEKU7b4ePG2NZ42eSRetQv0fc4z1CP1/GHo5MNtkEguJ5RZOu0FjzZxLu7cp U6B0+q9Cow7euh9hlaLW1e1v0LfA+1qPYpAUUFhWPh9b7e/sAejFiXOmJPqBkin4BlsnFappDJPD+ sTaXj7TXAqFbKLc9H3UqMGFEsaJN+PZDYXuR9NgsmJSlT7Jh0Jq2+/dW5KM/65iEjSjXrzJplY90X yx1cG38A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oXLDp-0058NN-9S@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 11 Sep 2022 13:06:05 +0200
Source: coq-stdpp
Architecture: source
Version: 1.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-stdpp (1.8.0-2) unstable; urgency=medium
.
* Fix the dh-coq usage.
Checksums-Sha1:
437f3e97fe3ee30c87b60b3a48ac5c88238b0f39 2051 coq-stdpp_1.8.0-2.dsc
ac3a908cd20a81d0f8d789e74ae239ad509f54b6 2336 coq-stdpp_1.8.0-2.debian.tar.xz
7ebd208f786318757e7b52df29519ff3b125deb8 6934 coq-stdpp_1.8.0-2_source.buildinfo
Checksums-Sha256:
011b9bcca93c51f1e75733f5e2428155104965c33115a86d01e6d14916f8c33d 2051 coq-stdpp_1.8.0-2.dsc
ce41936d1329befdc094dbce4beb505a2eca2f8912dae02f1e2340dd91d3ae93 2336 coq-stdpp_1.8.0-2.debian.tar.xz
11f031306fbc16037a08b354bb2da27e6f7c4dfa97635ca347dd40a89c78f93f 6934 coq-stdpp_1.8.0-2_source.buildinfo
Files:
660967cadfd85fea3a679d87b64e264a 2051 ocaml optional coq-stdpp_1.8.0-2.dsc
cab101e040c2b073cf27fbd07db9c458 2336 ocaml optional coq-stdpp_1.8.0-2.debian.tar.xz
7db09e1766d520c0b6b7d60b02a3dc35 6934 ocaml optional coq-stdpp_1.8.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwUMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqV4QAJtCnb80Z5Y7/XLLqunHC7EbbeA4jRVH
ffJpBcI9U25swvXyYLBsWDxUfz22gYrMuwSR/CRaMQu5Ji2Ma5StM/mwC6FUE8fV
eXqv90JWQ0q547pN9A5KbneJsOR0U2Os6kOwKH8rz4r0Lw7ELWM9JO/aiJbQjtlU
BMEu7XWGFomaDRySc4EH7b4SABDn6OGL09yMDV/lhSc6VHS5irQoC3KI927dG6D+
64Ww3N2nCnJeV7f6USTvLP+Y+6F6Cabar50jYb//O68lllhJ0IaJFhozrtsRietQ
n5nF+Jibh5I6S9mLCLnPwlPY+pkAgxrLLHERXjU2TWn+UJ/qIVt7UHppfaXndYa5
H8eVSjRtUWd3xsab4lbGZ5qLzcPIfntoipRl4gZG0JR8SoWkNI2nFuQ5Pkj7BhNN
Mh9mABpIOOtgDvFL93ZFdOuv+ERcE13gKwz19c5KRdaOA/Z0yf/XkuEvx5HFMRjR
ye+cMVstS7AqSJMOCYkKzfct3lwZO7KAG2CRTwLtZEIk8ffeRSzqpltZ5/iErL/E
R0r+d/MVFDOF3LIaIXvUOODueS54X67JWEG2eqgkq7edHcgOSaqNEvSuRblkxrMi
my93I24WiU4VwJzdIzhN44KzN+dyTzomZDIzOweoANINmEshF4yOi/O8LaqzWSN9
KETva5ehInCT
=VLk2
-----END PGP SIGNATURE-----