-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 26 Jul 2023 21:36:14 +0200 Source: menhir Architecture: source Version: 20220210+ds1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1042097 Changes: menhir (20220210+ds1-1) unstable; urgency=medium . * Team upload * Properly repack upstream sources, without coq-menhirlib * Use ocaml_dune DH buildsystem (Closes: #1042097) * Bump Standards-Version to 4.6.2 Checksums-Sha1: 7f2106b677e81ef541951c0a7811307d85b1b370 2095 menhir_20220210+ds1-1.dsc 392e1d09a344ab85635a332a42f59f87e1190b22 503944 menhir_20220210+ds1.orig.tar.xz c0644f8f7767f8231825df2d45e2a055c92a27b8 13472 menhir_20220210+ds1-1.debian.tar.xz Checksums-Sha256: 7f1c8aba0ef60ea3d2d55ab208588c2b195ccf006440bf8f531cd7341dac6199 2095 menhir_20220210+ds1-1.dsc 48e69ea28608a5c6f6e8865e14f4282c7a54145f9159d5f523c755a1a002c6a5 503944 menhir_20220210+ds1.orig.tar.xz 7852ea7c6c0569755f8ccaf3c49082a922b29e4df620f07aa315e8e3cc17c9b9 13472 menhir_20220210+ds1-1.debian.tar.xz Files: 8d5f6db7566cd1431c3d089f6a802df1 2095 ocaml optional menhir_20220210+ds1-1.dsc 8b5ccf91b21800315904dc4683f14ef6 503944 ocaml optional menhir_20220210+ds1.orig.tar.xz cdb8ebb31068435747bab28ccff2dae3 13472 ocaml optional menhir_20220210+ds1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTBdn4SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB8H8H/REG6Ahf6vkeUsE+4DVfuoDO/gNBFmrv Urhs2ELVyPg+D9rXdXB0gJSMb8f9SUzrukiV625ZcWi1gu4pAgVYsdGqF7rwcyak QyW2it5jzRSx87HNq9nZ7VEZK/n2BPP583qCE93c8QbAGRyUfzUS8WDbhb1yb9k4 gf4CN6D7MDXVs+tviZlAk3UViRD5fb7P/VD+/ZJWiwJebsz7zKzzCKg9t433nVVq FwU4Jl7daDm9Vq5DlwCrSTNjXXn9gewoslqq5iII4rkNbChMRkELYgik70lpKAm/ 09Cq/kDJJkdrm1WTnDeIbA5926EcIYeR+hayehz7Tz3Ys/QZgIJo3i0= =rP+6 -----END PGP SIGNATURE-----
