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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20231231+ds-1
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:
 fd21c6627e4a903759881b29da00ed32ea5d27e5 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 c83c2567c588188b39a3ba4c37220d7b90fa87f3 1932 coq-menhirlib_20231231+ds-1.debian.tar.xz
Checksums-Sha256:
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 64647a3bd1f26c8768cb0c502172eb40d33a6463366586102916724874829435 1932 coq-menhirlib_20231231+ds-1.debian.tar.xz
Files:
 3bbfcbb365fc19dbf12107723ff7ca17 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 362d09b737afd21133c979c8684adf75 1932 coq-menhirlib_20231231+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsI70SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR74YP/3X1YSzP3rMIIgoSq2yKBU2wV9dN5nu4
aiwo7oAUj4kD+U09HKpSsiImMMVQogWNCcfKWJbsuu/MJ8EITrTzOV0UnJ9KMouV
QX1L57qd+YdhYtnJNI5O+tpY3QxoFRJEI+jl+6pWZO9Lj7Cw+29go9j4zPJGQ57N
Shlbp7KP9yx699ZoQk0mz9bKdUrStPIbFgb+qs/yDvy/3rBARwn1oQO8RBmPPWFw
wYvqLbQOWIvyPmp4boFNbKGUYCtnmKZTFeFbL7ENkAP0SnlVL3XTxiSmJiUvSPlQ
cNUuiR5N5TuaKpn4Yg8WXdg2cffrTK2G418otVsqDDN7RuS6Fgdn7XONmLG0BCRb
LvMOlqGUprzBhFpbI4Mf0KN3n+PAhygP83Otr4c3toLiV6ECWubcOvZC2waqx5rt
UkB+FSlDAx6ZG9VLGGyvGSaXBVLxicmNOiJJwJ4djppYkTNkYVxKf7pIPDUViivz
ngd2cBcFfUOkWivY3zsQB0smfHXM5ZpogMQV0jxBPBD0LFX/c742mkmki+lRhDDw
w77OCC/LlvILCntH1j5sbLa6y6BOSrukpjrku8ce5KjbdGEJ+FAA0uVouh1G8sct
8n0m3/S/Q1D3u42Vxr5O8imuJtkgM4cHDYrivc1a1WNyzkkXKgOSSZHS9EKaeGD7
qBeDDKgdKEjH
=lnkL
-----END PGP SIGNATURE-----