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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20260209+ds-2build1
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 0dbd7989e6e5343889761a83312ed67939d880bc 2308 coq-menhirlib_20260209+ds-2build1.debian.tar.xz
Checksums-Sha256:
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 dad09e49b7d8f6ae8f67867177a70a6852699bf3e734db65dbe21650bc4efaca 2308 coq-menhirlib_20260209+ds-2build1.debian.tar.xz
Files:
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 ff240c1ce961163405273cd8371bc266 2308 coq-menhirlib_20260209+ds-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQsAACgkQ808JdE6f
XdlItw//S18+HoVAl26rPRXdoJnbRISpUMvsZs9X1W7s3blIG3TlvKy3AbZCmiiv
Pk36RrKYlxgSUlTnBh2u68c3OU51yFwOWdX3Wb2qzRNbCkd7Sm34C18xEi+V2Lh+
7qZvduK9j0MD/rghE/eDrSjYPw+Wo51YY/9KbDfh6dzAE+RWsYgngTFfeh8rOcTO
xk20ZKnNzxE9JcL3GAi+mkTPmB39MHNKulqsV0FsVJL4o+UCgGvF0qvtrOLqySuw
aU+Dmph+diLmjnJF85rA6Eb/5BTGg41BP6JGzYnP4quQxf5UNnCuGRr5esmWOeQH
QYAnfADBdeWbZBrZq6E+YyybjDGkA7jfsL05z3EntTT1VGnJ7eqQMjPRvWzmlZ82
cZhQScEcl1B1JBmztPhmdwFEnV9POeEGxpaetqHbGfHrV/VYss73PW0DmtaqZGcu
vSqq8wlM1mC4s1k0McJQT2Fj+OnqwSZ98UhkZXv+jK3NEzviRpIPFGX/HXIG+/YY
A9XoCEaFJJ79+vgY3rMb5SKtFEQ/6/uH9T/yBGUJ2bzsanimf+6gTpZZFPrn9Vyu
ZzNnDUSn+0zp7mcLOE8WINtEzvizTW1AEbz6KiNjk6Dmo18prwnd/BEg4KEXGsQD
Z92PmlWlRU33ZlSSp6wb4UpNRbPufuMvcmvrvLNhzJmnFJV2H+4=
=qcUU
-----END PGP SIGNATURE-----