Accepted coq-menhirlib 20220210+ds-1 (source amd64) into unstable, unstable
-----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-----
Reply to: