Accepted menhir 20220210+ds1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted menhir 20220210+ds1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 26 Jul 2023 20:56:26 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: menhir_20220210+ds1-1_source.changes
- Debian-source: menhir
- Debian-suite: unstable
- Debian-version: 20220210+ds1-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=JOk6vHFQ+xJFw4tirlZ6FQnQNvxiRI+QcYY8/9MTeqE=; b=TNhjS4Solt0/33W6qPKWFSUWYf kUj7lkFOZVgo2KgDLS+Jt5p8COW0ZJJynLeGQseq9zc5MwC+JT4MgwhEL1g4mIdBaglVVYV/F8o9S 757kAGGWb0NsdDO6sW8NI2Hx4TclNYmxP1ohDfk/IymN7SfyaYBCztKUrDgBd8aZFuNYdB0GuKYAE 8c8FWtuxCo0d+Sh0ZpozvZlMWu/s1symL8mvZXwUvGvW/II2zJ+H0+4Cf1H8XXYkBgGfWQ/0N9LTf Tf1hhF9LfyBC74+TGEb8aG0digx0FylVzuypW5lYLQgXfaeWmhJmT/gG5dcfD0WHyWs8pUuUSqgLq 1uGauloA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qOlYY-006nkQ-CZ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----