-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 07 Jul 2019 21:32:31 +0200
Source: menhir
Binary: libmenhir-coq libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir
menhir-dbgsym menhir-doc
Architecture: source amd64 all
Version: 20190626-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
libmenhir-coq - Support library for verified Coq parsers produced by Menhir
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
menhir-doc - Documentation of the Menhir parser generator for OCaml
Changes:
menhir (20190626-1) experimental; urgency=medium
.
* New upstream release
* Standards-Version 4.3.0 (no change)
* New binary package: libmenhir-coq
* New build-dependencies:
- debhelper-compat(=12); drop file debian/compat
- coq (needed for building libmenhir-coq)
* Package libmenhir-ocaml-dev: Suggests ocaml-findlib
* Override dh_dwz to use --no-dwz-multifile
* As-installed tests:
- Add test for libmenhir-coq (thanks a lot to Pierre Letouzey)
- Rename test "calc" to "standalone", tighten test dependencies
Checksums-Sha1:
a08bc09409dabc18bd3c1830e2e21c0232cc057f 2321 menhir_20190626-1.dsc
9c2149a410953bc1f0bc6f97437f5509954ec324 2487950 menhir_20190626.orig.tar.gz
37dfd6d3cc9d2f440517b7118f85291bbadc305b 16784 menhir_20190626-1.debian.tar.xz
19f55de88105a7587aac09207eb590ebd75da723 1367504
libmenhir-coq_20190626-1_amd64.deb
950662704208728d0f54ccf3e109bab9d3fc360d 16052
libmenhir-ocaml-dev-dbgsym_20190626-1_amd64.deb
d604c11ff56f80bf2f91f420810b07b0c6013ac8 219028
libmenhir-ocaml-dev_20190626-1_amd64.deb
7fcede0a9980901f19e7c42ebb0f517a2923c131 202940
menhir-dbgsym_20190626-1_amd64.deb
1aedd9c10cf50f59d69603a51262117b93e5b1df 573148 menhir-doc_20190626-1_all.deb
5a49f49155b7b19182e27db62620d702b3f1e968 8026 menhir_20190626-1_amd64.buildinfo
b96b39e0c93b0cd885d78adbbf4af2a22e52e5eb 647720 menhir_20190626-1_amd64.deb
Checksums-Sha256:
ab79c658766e34343e1ddd0c9e10798d33ec575e93ad107483b29fe50037dedf 2321
menhir_20190626-1.dsc
84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 2487950
menhir_20190626.orig.tar.gz
37a03c5149ede0043ae459c25c4259d1c90c48c6bbefdb2087ead708ac66ca33 16784
menhir_20190626-1.debian.tar.xz
e5759841749a18593397689b00f1277322f4f9dc420712dd41d44eaf285a4ce1 1367504
libmenhir-coq_20190626-1_amd64.deb
d0cd7389e2ec89e207db94662f21c1c3f72cb2d6abf85d9eab9662056e530261 16052
libmenhir-ocaml-dev-dbgsym_20190626-1_amd64.deb
5e2df9b8cb08878f89fe711ea45ee43730d7ca332ece4025039520dd54d9860a 219028
libmenhir-ocaml-dev_20190626-1_amd64.deb
dba0de0de266913d4fb24f02f3d4e23d2471eafb7bfc6506238a48137719d0ea 202940
menhir-dbgsym_20190626-1_amd64.deb
56d303fe112ec53493ee3032644db803c239fa36ca09b48a06875e705f57f227 573148
menhir-doc_20190626-1_all.deb
4aeee79754e6f738fba5d38d23d4fcf485188a38f0a70f2f9faa4d1d86d3b2d5 8026
menhir_20190626-1_amd64.buildinfo
6a4eb2586c896b43e37e311d46d2456262d21375ce26ed99928da9ffcfd9dfc8 647720
menhir_20190626-1_amd64.deb
Files:
5ee458ca681de056131b28ad5dc4f460 2321 ocaml optional menhir_20190626-1.dsc
097afbd686172e15bef0ccb938b9c634 2487950 ocaml optional
menhir_20190626.orig.tar.gz
af1d94458d9b723a76d210afe12ad704 16784 ocaml optional
menhir_20190626-1.debian.tar.xz
84777cbf8ce9330f69bb085be19bd882 1367504 ocaml optional
libmenhir-coq_20190626-1_amd64.deb
2a25ebc1d07edac1386837c8e1915bbe 16052 debug optional
libmenhir-ocaml-dev-dbgsym_20190626-1_amd64.deb
f0a4ff9bc303b879bc63e1a8b94b259d 219028 ocaml optional
libmenhir-ocaml-dev_20190626-1_amd64.deb
586cb29ea175e31532561eec9a1f19f2 202940 debug optional
menhir-dbgsym_20190626-1_amd64.deb
9932857c280bd7b1986a31a9768a8b04 573148 doc optional
menhir-doc_20190626-1_all.deb
4e1350a0a1dd8afa5acc9f93878f2133 8026 ocaml optional
menhir_20190626-1_amd64.buildinfo
85e995648946ea95513bd8ac0e06d117 647720 ocaml optional
menhir_20190626-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl0iTDUACgkQdFxHZtTK
zf/zehAAo++iHAnAaXXAwXeHyJ+Z/aYdyQrvB2u17wwkLtbllexLecgeseP646Ei
yXA5wstscFqd9G3R7OZBhSEfIu/8lQ5BFYB96XZImLs12ItFMdppMr/Yi7BFgg91
JfOqKlSkquV9UqAk2XrLckO299ha2wUnD9UF0Fvm9Zf2h6CFOZ1r958DmKCUcz9U
BQZt78QeSJw2AnWaRN+Blq73V3Km2vo8DAL5QE4AQonGorl2FKXevfV17mDj8UFt
wKwF67g2kbnZvclPGCuLw8t4DNgT+kyhgPvtfUoUKoNjIGcrbgdtlDX1zcgHjYxO
hFuguTw/vQ7ouO0oW8Fc7HjP2D795CIDfC3FOPPFa6EBBEj0fRnQMixdJ+qv+H49
pFMSQaO5L2BeFkvQ83yfGpn6uTw4PWhrYJILBYrGLdd+Wx7Nn9S+ENiDFVxYhNTb
5vmpuqhuorC0wLVyUfSEhMruexhMnukJovZOPTazAcD7FiG09Tw0V4S6g7xSDZzo
CaFQhs7gJ/JXd7lf0dM1Mux3k99JQ85nrdvBBwG8ALs4CAtQVP7+E7s11FXK1MjY
qbtrd/VDm3ovKgWWHFAYvoIwNlRbntVGKRr8jc7VmAfLgtVhwGVCwJHQpO/97WKh
tORAaMcIMDls3pcD2m663X0ieGoMt/Ya6Zt6Tl+wloDQv3qVU0o=
=3NG7
-----END PGP SIGNATURE-----
