-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20230608+ds-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9679d3337880b34ee7a9c010e32ee4dc62c68c3e 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 f5b9d1e8d467d6c52c8b94b64460586f5bf604b0 1888 coq-menhirlib_20230608+ds-1build1.debian.tar.xz
Checksums-Sha256:
 0030704e098ac4639d2937d6979eff163d2a41db02d2c0cc4d023f160fce71e4 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 fb7ce67e60f234e70e03a30357bbe071d571e96bf65f0d92e3dc418932352609 1888 coq-menhirlib_20230608+ds-1build1.debian.tar.xz
Files:
 0c6ea41f886c2228e3fcc3e331d94a7a 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 d3d7bd3f04a46a8f7b33fc2407ad6f16 1888 coq-menhirlib_20230608+ds-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqvkACgkQ808JdE6f
XdnRjBAApgLUTXy8tXzzt3zJbiEnxoo9Ih506fvmr9Z3Kx2Ivx8/qyXMYXfJ9oTJ
SF3cV3aTwZjoe8mIDT5rFa5vzSPkNMdqjXs8/yOQqzcE/TxaMu0TdmojM6FZTNP4
3enFyylizvUKf2JPPiWb3z39guBWzcQJ46PIRJ5LPdDq2EaxqbOuThCiZOfmN7qq
rpgSEvTOS3T0uckLuFe8x/2tFzmsxynWxVTZPo1k3n6evuetBU1m4HsRojnXbPAN
6+PdrOHd2J9riMYzyumm6iBNd7RxBpcNmZPDhsG5Ydn6cYoFkAtjHxxUKRNiFj3d
obndVNIFdtY+8jJ0OfXaWWqEljEEN5lNO69Svb09quUXh0Wiu674U30/oxwbf/Nb
rdibh8c/JsexFFISH9GcQXpzEGkHdQOnwDfX9HECoL1jExUGbIcLmHGX/0+hVNcL
ZwHaikyMLPAcep2LLiGWsaiBUeDZZ6jZRX1YSAgeLJvPY6906P+HahM5eAvsW1MY
sVPiS6WWEjkUSHT809WEsT0Ussr/B+SJBjYDnKAO5fjQWC6JbeeeyyA8Hz1NWAyK
iatDE5+nlO2zzmImsgR4z8HuB3izpTIN2Xz4UvGL0O79GzKLDV60XKQiiH/40iSo
+PUezPnINIx4lJfzylM8+bOHPStJwAskutZCLrU9vDkp63+YL/w=
=deZ/
-----END PGP SIGNATURE-----