Accepted coq-menhirlib 20220210+ds-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-menhirlib 20220210+ds-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Jul 2022 23:00:09 +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=QOEOBXA8Eux48S7zITgo85b6OtjvcAcVVkfkmlWmdhg=; b=Kh5UfbIXSJdgkgCO5Fi8K/6prh rmMdLYBKjXuPe0m+3ino5kNiMaCFVVuGWO8wiIdUtgJDd3QzKvvjYa9+G2maZBEYCZJJ98WyLNgSs bBS/5KSROEdQIm2QoEys/g8+qwpIwGWmGLV/KtGu+mzqaTP5Z7SLB5e/DLau62TSJLBq9WQOsQDAK EgF/dIK2QtByi3c8k7CTBdg+zsdpK72FWwO6NjTYbpc9a0bfH7VJP0dAhGNOtLdCmVwiGFOoOw5zQ kklQCSygZvZmJwEoJW8YYsxROJ9TFw9zofSf8TK+UuFQNZG96NL59l/8A1PvEpidJVj9q6I8d7kfA UZqPEfgg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9wxF-0007YX-H2@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Jul 2022 16:44:02 +0200
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: source amd64
Version: 20220210+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-menhirlib - support library for Coq-verified Menhir parsers
Closes: 1014602
Changes:
coq-menhirlib (20220210+ds-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014602)
Checksums-Sha1:
bff42b6b9b2671d402968e1ece4e7579e6964188 2125 coq-menhirlib_20220210+ds-1.dsc
9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
de64ff7489f69c6404cb27a7850a67c2bf0d8d5a 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
d040c2f32954423af2a9eeb6b8c44346ab344979 7172 coq-menhirlib_20220210+ds-1_amd64.buildinfo
3b0e76b9af4eebae44cd4e84d2716953136c80e8 1435736 libcoq-menhirlib_20220210+ds-1_amd64.deb
Checksums-Sha256:
cb8dfb19d73fe4b0ea539a5ce495eca74f688fc52cb742fb6c669d7c3c16554e 2125 coq-menhirlib_20220210+ds-1.dsc
8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
b30df5050020ab94905e5ec12ea3470059e620c83b6a504788d6ad2e8b62821d 1624 coq-menhirlib_20220210+ds-1.debian.tar.xz
05f456ee925a790892662ef854e4ef93f5d28fdb8c173bc71866a3753a497096 7172 coq-menhirlib_20220210+ds-1_amd64.buildinfo
d6776849898f5411142069d0292d6b5dc80ebac6cd6895a68205202e8d54f306 1435736 libcoq-menhirlib_20220210+ds-1_amd64.deb
Files:
d411e6ed02fcdb4ffe47fd3654ebc471 2125 ocaml optional coq-menhirlib_20220210+ds-1.dsc
f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 ocaml optional coq-menhirlib_20220210+ds.orig.tar.xz
86b51ae3914abd8d7f4e0494ae0f27fd 1624 ocaml optional coq-menhirlib_20220210+ds-1.debian.tar.xz
47d98159317bdcce29655384d7dea23b 7172 ocaml optional coq-menhirlib_20220210+ds-1_amd64.buildinfo
e03e0fbac9d1ae970679bb9b8af90079 1435736 ocaml optional libcoq-menhirlib_20220210+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIQywSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRt1AP/ikQliAkWG1vQwRNtggzstJDX10Z+6qK
f70f7ka8StcUP/+RD/qscgMK8KLHWCRBGK9bpVY4retFPeBCpYk7GR6wXMN7FtNh
j1eo7uQ8+BeLDH30arRK5kK0naVkP20J6Pd5prNHTwCCCI0SdhvBTbvJIfkYOqIR
84qYGq+C8ZjHNm1YCmLBCDaTpXjlhj1TMrn46MazpAvENb3dUA6djVxbVejqxu81
BEmAANnKyeVoQK+Om6bjktHt4z916R9wjwp2XdXTNzgMLaptTul6a94S+9m0NSMy
yWnX6KLM8L/FzBU37W08vDgHOgP7SuA1OzZ206z2JK9uTqjeWJv93eYPOpgonbhd
Cr5BcO7tVPfhV8klQpyTVWXTgnFUzH8ojJ09tv+ZaWG/jRnIHiP6aZrZOwSCExvk
KvDjlCY6IvOA6dc1t7pJG3TLasofowuX6UCYaf5mm6p38pIkMEry0rVT79rZoHTz
yduSm/fhETZ2BfMiLRZpAB+gyfwTndVV+JwM5BBNml9NV1UwWUnqd5hffG5LDxAI
htp2mluFU2rOXFg0bnV2DdZkpMHj3H43nL/k8lnj1yGlCsYVI70HkPVOgfyCUAtq
MNqPQzisbp18SrZP97QCDx2BBS9IrLj0YCtZXyz1SnLJ/hDf3p8vszLUb/o8OHjB
wTAerU3qPUkl
=Aoaf
-----END PGP SIGNATURE-----