Accepted coq-doc 8.15.2-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.15.2-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 14 Jul 2022 10:49:00 +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=O7x2zi8crJK0E78FE4oBA3AaRmZsYo+rccpInGMe+Ao=; b=tsPxmtsN6xXimzGUe7z8BhmvTg GXxchnr5+7Bwn9HvccRxk1npY+0HA3xxOgrOuzTnnC8Ex5SG5r2YAQZrUAAV3t1baWEmadP1J7ThA /CapWGzg3Uone3MolbThigiKnvTMeMfp8RuINRoVw8lz+9R1qLzpWW8CtxVhj+0M4bj/NIlPIgBA6 uafCmPSVEMfA1AiLKqDYFxjJKxbKi4SGBUCG8IPKq99jHWfANnFeZ57KmL5xDmz1jsxrW7PzraXz+ 9NEGxLVOKo4Tl1/TlPFBZDdotP9znOkQ51AdPQ+H61S0uTGz57qIv0jy86UTD1+ICqYjKYw1TeK+V cg6olWAQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oBwOy-000Ajt-DV@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 14 Jul 2022 12:16:36 +0200
Source: coq-doc
Architecture: source
Version: 8.15.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1014678
Changes:
coq-doc (8.15.2-3) unstable; urgency=medium
.
* Add b-dep on OCaml's native compilers (Closes: #1014678).
Checksums-Sha1:
5202c9e13e5412013999c6bcf347c23ae0988b24 2604 coq-doc_8.15.2-3.dsc
daebdcf6ee4ff620430c1595e72131aa03ab8ad8 8236 coq-doc_8.15.2-3.debian.tar.xz
b443bee0bb1efedd202aa28ea76677d31b6863a3 5775 coq-doc_8.15.2-3_source.buildinfo
Checksums-Sha256:
6dbf3f0890d8b825b1e19f5fb23d001c1c76c9090768deccee940d262c4629a0 2604 coq-doc_8.15.2-3.dsc
6925c470d10ccf6bb168c6f4df77cedf1255086e12ae67d8b283febb2ad5b400 8236 coq-doc_8.15.2-3.debian.tar.xz
91385ac04139595b16a6e9744b4399c93306ca8d463678d2dfb444d074638a71 5775 coq-doc_8.15.2-3_source.buildinfo
Files:
fd2aeb5c7b32125c8313471040134bd9 2604 non-free/doc optional coq-doc_8.15.2-3.dsc
570f75a62771acdd8ba4856c70b5bddb 8236 non-free/doc optional coq-doc_8.15.2-3.debian.tar.xz
90c8a06c138155515914fb8e62d83810 5775 non-free/doc optional coq-doc_8.15.2-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLP7YASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRz88P/2wWDPZM5R5qa2x3uqpRTA+clzPmHS3L
y+E4Yjf0Lhj0NY6yk6FN6HDxcyk6yk9B819VQM2txm3gav3uvr1XZBEPNVhtnlAR
QZsE1oMAxBhaP8HZJIOvhGqA4DYf7gAKiTa1we9XXpvqrwvuIJdmMB0BaRz806tT
pUNpun4sr1QfzabYJD8cGJB4SdVuFsugXl22gOyf9xAaB7/JOQK8YUl4ZZJgm+JP
+K+jXtHlvi79fuAL5OOv2hEBAj/Im04bNZxqLNrnClpZbeImGPeiPDXzlwVRqYY9
LHPgVUrT/DiPbhU7LtkJKhcKKCk+CMCOGeeFaxGZnXcGPoBBhBPCR4KJNLniA0ev
vz82Vmw3HzF/Q3on1uEgj8SDGWdxT2IckoiXEJTPJUbDjalpiZAhKv0BnnNbWRUk
CFcZtM3hmXSXze1ovIIzTiJSDad23+nUFqiT9qXAl/ZgLFXRgubYoS0sOWqrkq9b
4VYhNgL8VWOO0Ovslfd0bGkL2zZfqCm3e5WT4xIt43LfsehUEGzvtVri6iF17rLG
y644mmp+8ne3GS/5DF7Iutj7C7a5yVDK+UfO9Q2UShAGlwkl1oN70h8+DbPZSPQT
qzdVbm/cDq2vENIitCMRERytBJUlJ/KXb1e0DfWI0mBzWcF52ACD6/+cG2nBy68J
m47NFcW0zG/K
=Dw9q
-----END PGP SIGNATURE-----