Back to menhir PTS page

Accepted menhir 20230608+ds-1 (source) into unstable



-----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-----