-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+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:
 b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 45cde650fbccdb5d00ef21e8f79004be26fc8e9a 2196 coq-menhirlib_20240715+ds-1build1.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 eca4e78d7217da7e01a34d21c7f2dd14a3d44cf7371cb40a0e58c1f220805f4a 2196 coq-menhirlib_20240715+ds-1build1.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 36f9e720cb5cbd8a9cae106899fc9b61 2196 coq-menhirlib_20240715+ds-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m5IACgkQ5mx3Wuv+
bH2lww//SoeZffEF84zO8ba/Tt2pwTKGLl5vzz11GT5hg0jVRnNDKOASfGlvZa4X
HkfdmhyTK0KexAZ2lK6E26DudwcU5/rVQPo4+GltDrIiYE+K1VWckd1GFuHBCn5y
ebxhLF3cAnawnza2oztLm5Xr4kR1cUTy8ptnVX7K4xbavoYzPWhYFuyjn76/d1fL
+oMb7D4TUczQeNrQ18iKP/a3uJF7UM7adVCLTeSZdNWTPH4Nb8KUSRc8HYFOGilf
wLdU/qGHIR5ZIM+o2V9i+OB2uPWhTF7s4Q1VuV2dzV/H9Q53ChsjE+NR4x+6VZIL
OkPh74sJ17X8B7Mr5nMFbJOquIUgMkiEZEk8BNpcIH7xFyJuXiX0k7LZaDZAvr8l
hRTdbJNLr3lHZZWX6TXJmpVDhwJAujAZ+055FH7unHX5k/Gg2Jn4/h76hywvFo4p
NLmNyPjRxl1qE28CwuKtLcN3YLfv7vQUgumnmw+PxyngJDRZe/nAg6beDGgUxInS
lSmkQuAwDwD5Ew2Pd1XuswhEmMgpCW37jRTHGZhr/gMnDp70908lw2zJ6YCTVKEU
M60w0+0XCAPDmyCX0SuD8WQQzHf9r8vpUz32uSbD4RTqifzcGkiwr1h1gLMXOGoE
hlYqhU/rKdBS3Fhm9RCRxiP/NDlsrM6Y6slY0u42/n7XIk89ygk=
=DVPa
-----END PGP SIGNATURE-----