-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 27 Aug 2023 06:34:07 +0200 Source: menhir Architecture: source Version: 20230608+ds-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1046147 Changes: menhir (20230608+ds-1) unstable; urgency=medium . [ Stéphane Glondu ] * Team upload * New upstream release * Fix debian/watch * Fix cleaning (Closes: #1046147) . [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.02.3~). + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in Replaces. + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in Breaks. * Use secure URI in Homepage field. Checksums-Sha1: a033d89a7ff770a331186b6f86ec840a13c2fccf 2084 menhir_20230608+ds-1.dsc 7103f3579c324a9ce68bdf57971f74927fd3bff5 523428 menhir_20230608+ds.orig.tar.xz df01cf1e0a3a15cf306ef6bf65911efb98e4910d 13680 menhir_20230608+ds-1.debian.tar.xz Checksums-Sha256: 0e95b4b3ac30633795cfc5fb3009f9ac6ac9f878fa0829a76a0bdbd063d42b5a 2084 menhir_20230608+ds-1.dsc b22bdffe98dc5af81e1c9c9fd21d1fd2055777a92782d71f80dd16458be65078 523428 menhir_20230608+ds.orig.tar.xz 244c6cf52d0bc7be045ead7d830f789569e58964e0a5b8465f3efe05f6912afe 13680 menhir_20230608+ds-1.debian.tar.xz Files: 0c78443a9b98a8d7e6045cb31b6b3775 2084 ocaml optional menhir_20230608+ds-1.dsc fd023725b452f56717269fe576e1200e 523428 ocaml optional menhir_20230608+ds.orig.tar.xz edc5159b79d58b6c6caedd50e887c104 13680 ocaml optional menhir_20230608+ds-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTq14cSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBQDoH/3mkOKs1sF8wDPcXtSOQjXkZe9UnhxFM 3z4CTDWCGtkpRb4c11NWl9D06auQvXegLcpeeSg78wIDpezqzAoyLPQGRYwIpG7u +Zd519TAnVAqLQ8lbNJnp8iUFXnZrPy+EFiMBz8V/2Absk+mn6/zqnOtWJ/3i+c0 h2DpEB7ooNBhs7RvteXJhVfMmOr9dOf2svYvDiY5SiwFPiPynJhQMoyX8vdP1+j1 RfvxiQsqTtEvfsi7FPm8t79JsB2yCOELLDs0cPOJLXhO6CUs1heVH5w8QPo12Dgv Ezch84fBqFFQqxiF+8D4xllOFdUouvnpBuAMjWvwDSuk+c9R6xIzdIs= =gnLs -----END PGP SIGNATURE-----
