[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted menhir 20190626-1 (source amd64 all) into experimental, experimental



-----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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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-----


Reply to: