-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20171222-1 Maintainer: Debian OCaml Maintainers Uploaders: Samuel Mimram , Mehdi Dogguy , Ralf Treinen Homepage: http://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.1.3 Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git Testsuite: autopkgtest Testsuite-Triggers: ocaml-findlib, ocaml-nox, ocamlbuild Build-Depends: debhelper (>= 10), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) 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: c4d2988c6ce3dd013375377a7214e81a30170584 879284 menhir_20171222.orig.tar.gz 5f39d89e03b86eeb6a017677aebbcc1338ab72a6 7020 menhir_20171222-1.debian.tar.xz Checksums-Sha256: 3958ef6d317548c7776a25a13a48855fc1972d660c211ebec7e797b5bec0f47e 879284 menhir_20171222.orig.tar.gz f617a4dcbdb7af7d9ad61405fbcf4a95c058f51acac54215734e9db3aaf5b222 7020 menhir_20171222-1.debian.tar.xz Files: 6bbea6ad7b390904c9ce6d3e11d73438 879284 menhir_20171222.orig.tar.gz 69982b72aec3ee91b37a6165fa346273 7020 menhir_20171222-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlpL2ywACgkQdFxHZtTK zf9BihAAnTMbaBUJli2Ni/b6g1Zz+SVHoV92XV/J5zR5e2x/MQYTDYg+q5E09G5z DJG+uPhxmSwrqxGjHRvX5yp/gD33yoWLLb63rey+QLxXl+Ar7YfP3tAbyIuK3m9e 9MAmf0UvA4htjtoc9D7moBJtVE6JaHSfvaMsdg8C3lKTpZtXqU+gkOGlAxv5jBFF 0JGxU3QAr04xZ9HZ6uOg5/1GT9NOFHLkIe7P97cn4ouHwPY7rgpLc+twMyQexd2H Ph6n+9mNu0I68Eg3WekAoDd004IfP1RaIdwkuMzoWleIVpuHu+Jn1EDamIWeSJkU 82979gDLLOS0/oUW7rBGrcRQS0Dx4XcuPiTWXT3tZ9ulaJrQXlCRrQTSMXuBrUVo +ZBOlM7Zu53FfuffF43uGsIWT1Wq02UP5kqtZRzgK8EMbMSb2hLv5XhzJRVFBH4R WfrlC+oSnpE6XbecGBy4LrWy3HLb0Oh/1xEIEoW32SrbytaB87iCovNFLhh6aJq1 94PTmgDm+MFsOCTcCqXRLL616PZX7EQ2UUrl2AmZ7odkE8GrI1Vkx1CvIK5tWMHS 6X9PpZnbWqv2hkDiKU1jV8lvhTaFw/l2YVN5yJIE4sX7d6Thc3ab0E82IY7Sct0R 9I97LxEc+LUVDd5HU5TjorY1XB7X6Op4bOGT1BR/hd+VI5uU8ns= =B5Yw -----END PGP SIGNATURE-----