Accepted coq 8.15.1+dfsg-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.15.1+dfsg-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 20 May 2022 18:33:51 +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=WmURFr80UKJKUkalpNM328O9TSgbII/b8zUwQ/XsPZ0=; b=BX+394UodMDWQmLjsTdXMLrnFg VoQNbcR6i/DTrT3Dg/C78AvzjtDGemzlKmPRJqx5nvbE9r3GZV6BMuoA7wIQ40PeBsvYwj0DQfVDU KQ1WRZb2e1QUXC7POt9F4B5hkpvzf/FnyFliv9JfZlywKBvlySdtbWk66O1isSJxDMSUX4ThADukX eaRX9oM7Lniy1Ytpb12fpKM/dpWaCAU3mtyWlnOa2mSXAZVac05VouEWtmIj+MLibiqMpo4IT93bm qK4k0hprJu6MmOlxmgiE5bnZc/2TxNER9ACHnnA0wCPZNjZcP5x0zxfz51MgdpdrLVPajHrlK9I1C Ug0XhAig==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ns7Rf-0008pv-2D@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 20 May 2022 15:53:07 +0200
Source: coq
Architecture: source
Version: 8.15.1+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.15.1+dfsg-2) unstable; urgency=medium
.
* Don't strip everything!
* Add a patch to fix a typo.
* Bump standards-version to 4.6.1.
Checksums-Sha1:
570791bffd68b0941ad5d0a826017b33cfd8298a 2599 coq_8.15.1+dfsg-2.dsc
1e9d99664b157e78209e6e98b0a8826546bcbef8 40084 coq_8.15.1+dfsg-2.debian.tar.xz
25ab70587bf0ef1f953819ba3fa352c12337f565 14697 coq_8.15.1+dfsg-2_source.buildinfo
Checksums-Sha256:
43ad17b535b9f29bc1a1ae3d82c38317c6a8d29dd38d66f12699905fac38dfac 2599 coq_8.15.1+dfsg-2.dsc
aa60c44680a03018d7e63f0e90215447e02874a4c36f90bdd189e47d9b6ceb69 40084 coq_8.15.1+dfsg-2.debian.tar.xz
d39e7b8891f82cb6c348f7c52e491c628f10c1757e13abfccb437e693c6d3af9 14697 coq_8.15.1+dfsg-2_source.buildinfo
Files:
3f122be4225f96d88b902d3975bf9168 2599 math optional coq_8.15.1+dfsg-2.dsc
3e1bd64583e1cb326546c2d745e0ed45 40084 math optional coq_8.15.1+dfsg-2.debian.tar.xz
b5a60fe19c004b889df2d04f26736968 14697 math optional coq_8.15.1+dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKH2YESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4l8P/iAJQfSHRW80RORQD9BmqpjDsG9ECjuM
kJzZFn9+dXnJdWQA9fOreoFV5mM1FgMsCtlabOi9Jkad6Q/KXMNBrnpZWI65kkna
JvD/loGY92UU6zYMLE/oBHU2/PX7SC/ktoHINk+7rBTSDVsTnJmPcLlt2yQZMZhu
oAfhxG7o/Ox6YLq4Y73j3Fiw+OewVuDWmeG8UBlj/JdS9Ox24Z2tFnmgX8aGGrok
wwoWetgnyJ+dWiUT3wZbmJiuIcavRA51kUAQnWDrFJV3YJ+M6iWctDGbisHQYKS3
eEi6isNt1rqjYy0gOe4YVPLLY51Oapp5H3PDSyIds+ECFwUB+48VPtSNGyj91yXT
QOB4NMv9sq1WMy5HRZXhricjvOisI4KPHWNfQE/iaOes1qLQlUtnJ4GYwfv0gdwe
rLPHhvgyuR4II4c91OHSkr7387U2oID/jU9DwqNC525lpVhatvRJlOijJNIY3iak
aHZSHP3YhqAtw7nl6WZIohn7TyX18M3Z8jOH8kWC1xzVSX+cM+u9sT8iY4y9DYFr
MAJXREAlyM6pOgX2NExYrbDbk07jO8UeNtPb56HsEobRd7HollWGjYJzohujft+g
vbOpslIu4lr7YOvxmBibeJfS+7ZsVCTGXvMOMztow9t0a7RxrzD8Lp2Pb0uJtaph
Al9V2nsY9F6t
=7l9r
-----END PGP SIGNATURE-----