Accepted coq-ext-lib 0.11.7-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.11.7-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 13 Aug 2022 22:03:53 +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=uStspjxHuZA1M2prnU00WqUk9r+4wWE/quYm3JiYbtc=; b=lyEo4NvnGZVXFOTY1WFYyPg5g5 xYbSSBZGWFyl16OmJFYb21nK5q3eGESzI4agYfABrpEPcQGppyVrilMOLhWuopvrkjpXdzVo0TO90 7Dc/XhKnLlQUDIX+08awnW/fdRTxysseSu4qa7f2qapTxh3hrF+9AEYyIq/N2KOJh/8GJ2OiIz+zP cp3TwSXeqVfDFRdThktjuszmXlvMG4JTdfrfsAx4nyR2MBQNOG1FfCjuRBB3demFLkFrWOf0fsmit ZCxMohbbEu+I84wtvP03fh7OcAWaQNZSLGgq+YwhPFot76A//0y+KvlFR1GcVJR5fYHvtVRF5BfNg rRecy+Ww==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oMzEX-006XjX-Ja@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Aug 2022 23:40:35 +0200
Source: coq-ext-lib
Architecture: source
Version: 0.11.7-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-ext-lib (0.11.7-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
e7b3f215557dc9cd4893816255bd9aec94398921 2084 coq-ext-lib_0.11.7-1.dsc
bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
dfefff7db578ab70bb72bf8a69b24496cb11c8dc 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
2d2bad74e32116616a0e812b610de71e88404810 6954 coq-ext-lib_0.11.7-1_source.buildinfo
Checksums-Sha256:
f208503ce8eac129e73fbafb6503623a9cd333e8694c823e0c1ed181e7a62fa5 2084 coq-ext-lib_0.11.7-1.dsc
5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
2d089c82ae38b8eeee9ea09800ce19c48cd089990955de76fee7e3e87ec4f691 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
3edd05eec23af12d7ba7e5671b90b7d3a5d191057998cce7d4412a8793502fb4 6954 coq-ext-lib_0.11.7-1_source.buildinfo
Files:
f8be01bb6e4ce89467c78dac2488583e 2084 ocaml optional coq-ext-lib_0.11.7-1.dsc
a71175b8e2b9c005d4e333a25ace42ba 82956 ocaml optional coq-ext-lib_0.11.7.orig.tar.gz
2cbf19b5e9a481fd1f74ac53dafeaef7 1988 ocaml optional coq-ext-lib_0.11.7-1.debian.tar.xz
f178bca7f5dfd1822649ecfa06f60e39 6954 ocaml optional coq-ext-lib_0.11.7-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4GngSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIlQQAJXxtl+zdMaRGxJKJzX0g08OMTXFgA2B
C23v924NMF8icYTrvqiJO40sQyrmvySc8NaCW8Tn9LEVjmxm2B3cgAR0ae4IZDl+
5NN+0QaP68ERaMfgiGpkNOqJT1GanP19YPDAb03aR6pjWEKSCLwibObz1vICzMLA
7HPDsskUdh3+OYlB6LX4nOo4GME09MA+hZRWzWchnZ89JAmNdR0gZHz63+dMQhzr
mNLdJEuLosJnagCGa1550vwWzjFbTTkKdEOqP9jvcK5nlXZjvfRq4UG+sbL60HqF
xcngFJTdJ4CnfEwr05dUOPvdncAnuTxcgmNAQC0O2ytf2MR4dY1LaKckFSiEfjjY
Dn+S8V8clntkKBRcpuYWbMIqsBZisMdQOEn9ilutIKdtdi0caUGGuj65xMT5VlJ0
NYsDTdnL4Q3NKCwGC7koobXpiXhkC3mViR46aq7Wkpm9+UQN0G7DoM7ek2A8y+WN
CzbaB3TijDoyEi1Oq8Ku5gIQRzrX5Gm/u+sxXN19rVpevfYsahxi8bH939h7gWex
73IMicD1otwswaQ7sTB2y7rzAegMs/mLH2qtN7LH9S8rFANyBF/YVogU7T8y6oZ/
CydFjITtBsCr6vwVkJO13K1BomxpyLvqzTPd9Yh0VNMO3BFZBve/0s+zHuoI4Qq4
KoSvJnenyWqt
=Czrd
-----END PGP SIGNATURE-----