-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20240715+ds-1build1 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: https://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git Testsuite: autopkgtest Testsuite-Triggers: ocaml, ocaml-findlib, ocamlbuild Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, texlive-latex-extra Package-List: libmenhir-ocaml-dev deb ocaml optional arch=any menhir deb ocaml optional arch=any menhir-doc deb doc optional arch=all Checksums-Sha1: f64df3b0d078873c62d621a887951e8b9dfc762a 540332 menhir_20240715+ds.orig.tar.xz 868ff286b16dff9033c8e21787548e16b89eae5d 13868 menhir_20240715+ds-1build1.debian.tar.xz Checksums-Sha256: 6adc86fdd54309e3acc309b61266d43ea1206cdb772cfabd58d73c7116ad6cf3 540332 menhir_20240715+ds.orig.tar.xz ff7e0e4eb80fd5f7bb302b5d8e49ade69553cd6b43eeade45a3c30c1a46b9ce9 13868 menhir_20240715+ds-1build1.debian.tar.xz Files: 52acf8fdebc6d7abdc8c74e09c941a68 540332 menhir_20240715+ds.orig.tar.xz 7363f5202bd3157281fbbb2c808598b5 13868 menhir_20240715+ds-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeaInQACgkQ808JdE6f XdkvYhAA0MkpgNY9aAOOFQpMtbJAkXNf8XJnx/L7Ol7H8ivNeHPdw9nYxOF1w7+h I0OTigDjv5cGmh4x6q180GKjw9TCn68E+ncmCJLHPw7LR43NyGqTKORFe8PMr0us UnB2ccAfUKDLws6+AjeA5ZR7h4lEkTpqjHPVPKNxCNLIJa5Pxw6lNBlQHX040u4t dTGocYyR1V11T7Yw2r91AM5bprzV2DGEV4SrxIgd4GIYTFBDUIuI1kjUeMs/UG1H wPA2SY7dyms3aHPzQY6V9i5MnYHnfC9QCrjCJ2Qjy/c1+/vwZiyEUkwPoD2kXCHR LXlT3piBKUipWDuoYcUlePumcpnD9Hig7itT8BBh9Nja+9gmP3ISD/Gno7ZI1FK7 NFfPZ/gIuKYhUAJBm8tQvLUYB+smDiT6klxpYLqfA84SYqgiNHS5CVyegLz7bAqf 9VbqsBo8hvcwr4vNLCBUZ0YtvaKJoRCQjazKgAGixdzVcu1nr6pr/T/oPg89bOAF VAwU8PA1qVlnXB1UVHQ1Yg98iOorsFi6tGPQBuwckkZuGNmKqR24acaAxOhGQqdg LtjhG42M2PV93QjQHTzepdVfxgdxxyWUSRMAwBx+UEf4Ji6YGSt/D8Hj7RLpZZKe RkG3C9uE6w8gGInrMqdsMep0EuNcDBnzX3lvGDtlMZEdWIpTUHA= =L8M9 -----END PGP SIGNATURE-----