-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20200123-3 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: http://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.5.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-findlib, ocaml-nox, ocamlbuild Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02.3~), ocaml-dune (>= 2.0), dh-ocaml 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: bdeefeefccc4f75e8797faf5502536b735c4544f 2456984 menhir_20200123.orig.tar.gz 8eaa8789c17cf057bd636c3cf25186989f57c3c6 13188 menhir_20200123-3.debian.tar.xz Checksums-Sha256: c88f1b2c9d14d0a0c1328a65dfab78038646f5fba5d855101503cc1270776922 2456984 menhir_20200123.orig.tar.gz 1c87e9582ff81d00d9a4ba27672585d5c179dc9ce9ec9153e459b2d6f0f9a44c 13188 menhir_20200123-3.debian.tar.xz Files: cceccb804b963869730633136feaca6d 2456984 menhir_20200123.orig.tar.gz 3d08a5054a7538d321e7866dad979270 13188 menhir_20200123-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6J9HIACgkQdFxHZtTK zf/LvA/+MtR8DIw25kwWyEroIZk3oRiRCC+w8wVsgePPgmk43YhteaAXBkiJeROR 8ZKvXttmr6e5gTVaZp+45pXPxcskKhTAa7haZUFzVko6+ou8ldtsPn2miVt5ml39 r9PKgtfslROSJke53n/OIaIw08ow5lZ92U83oCQ3C1OE91IvVw78z8rU1rr6WJem h+30O9IoGmvFVH629yUgwJrN26pmbKlEOmRUStauf9lY7+Nt2mRQu1Nue2I65yti 0FTLKNIbxLn5Envu8LPOYqIu00ShFe3YbUen8BnTd02AIF1mDedzsW5hkcddS7dj 3ytmxqupwOGzmKvwu8+wCD69rznNBkwlnTq1QliLFBEq5YdhaFSICgbQTVQv6+ok 7Qmcrq7BSoN/5SF95VIne/T4lNYUNZBM9aiVqdUD57FHsvQhHI169TSURSGUeY7u c5o1Ee2NQ+AiE3TZ2kPGJ4D5ccMS5xGePWqb2MzJ8kdoyAJJTLHuLwnmNFEToG/4 6sDNByd4xJCoT7G0OkDkCOUlKtkmOkeCcAGZFkRgDPK9dwwALGJT990a3YnHvo6W MRUtEfAkqaQFhfeDSqMa8Xid0+jSX7RlGRdnkEbTXJC0dYgu7dnS38JfiQ5lN/Yx LvSk26KVUYoRi23nSJtcHwWyIFra7Oer5KgUbO/O7rDgxhGX2lE= =bqHP -----END PGP SIGNATURE-----