Accepted ben 0.10.3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted ben 0.10.3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 19 Sep 2023 15:05:38 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: ben_0.10.3_source.changes
- Debian-source: ben
- Debian-suite: unstable
- Debian-version: 0.10.3
- 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=v+/1IikFzUAc19D9PDxtYuVY/y4d/w/acHg8VOzdWsU=; b=XlSsq8BkQTZC3YvM6yMfmRqtq6 W6cfUppzGoeM1im9WZqZSmXE9EFpaKj3bxgcE0TOrb1oDckqECqEutWJZ6x9iBNXQD36oVRAonULl 9Heuj5T7BPZJpZZqhPQIa2XoScGM3q9nN62nEpqR31/++uc76e9CIv/41a4hPDKMd1PGfuRLvqWRC XizhhMdRa6l/hiHxLQYZYwHr/AeoCwnwewvmTZVROacmydtkj1z+iQaVAojhKqoegD7MpAll8+yN9 7AehR/ZISjmIIurXQJYmKukEbpD34Jj6yRLDUfbiThmt14JfEmdtPqNUjdCVtAVpURF/lqV4bbpSH vziUpzbA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qicIE-00BmpW-SW@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 19 Sep 2023 16:34:04 +0200
Source: ben
Architecture: source
Version: 0.10.3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
ben (0.10.3) unstable; urgency=medium
.
* rebuild: wait for pending builds to complete before invoking update
* ocaml-transition-scripts: add support for BEN_REBUILD_TIMELIMIT
Checksums-Sha1:
491286e2af7044d84031e60d6493bfd191bccf4e 1896 ben_0.10.3.dsc
8c4db2d3e17e45935cf021d6b38d6958ac4c97d5 71932 ben_0.10.3.tar.xz
Checksums-Sha256:
e79a260d1fb567763dd87dff9e73fa414566f4fbce5eb97df07c2f31e73a49ae 1896 ben_0.10.3.dsc
39405a68517546950334652437869c5726b70ba4168b0dcc58e0e29a8caa8df5 71932 ben_0.10.3.tar.xz
Files:
35f4d5c8513b087dc819debfaef60c11 1896 devel optional ben_0.10.3.dsc
2241928c275d3e827746bd4ae87d18b4 71932 devel optional ben_0.10.3.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmUJsaYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB2pUH/2kdX1F/cWCRY4jpp0V8P5Lslu7BpIVj
SFrVMXAT32+wYrI8dZD2sZC5r5fvms6nc8sVx6pOVCisPwpdNeQI3Rnimjjmq/jB
n/SqXfGWsEL09sdAXwH7ced9GXdLwPT3yWppq6TLQVPnFScecTZDQLLstPA35L3V
XaVl+X/V0OVir+W86FavHj6Hn/NY6qmhe14BUgJkSdy4AQ9SmRmqXjQOXYJ04bxb
zNYq/kld8gYbFnK4BPkQr8dhbEg38bO3+RScvMX7efMTC8COqT3Oje4mKv8BAB2G
RmAFmfOPMoasdYgqpR95AVshkR9WIMQhzkubUaDXZdlIEoUhgJnEbiA=
=ptMq
-----END PGP SIGNATURE-----