Accepted coq-hierarchy-builder 1.3.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.3.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:35:48 +0000
- 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=QmC1cxk4U5rmhZDf8WJzDa+2wbIAA5x8mKjF9JM3LlE=; b=VFBqLHmRzF7UwYuSY+imfS8cun BY9uLoKk/Cns9x+1G/EjppMreQyZPlUbiRgrPsHp7mFy77mGhCVfTabLQLwzRgNJvsJF9O3z4dK96 Q8ZsSqGjKehSfhkwRmFh0tJSQeokeocMi9LjZrsEy3PDni4ibBKnQAJyPWLc0cK72Utl68NvBUQhP NzkNJHCcNg5yJUk10Ao/a9Fw1IYYXdTRVSgXWanBKbN9QfbC7WC37qzPZhHa/wxTCOBmh2ejugaAH 2q0/SdSm3ljkDxMOhITOnJOJFmRZ3WUYn2QNYSiNWOyidsvqy7gTp+/IksJqR5pnii27WrbArtyXR cJsGEwEw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVUzk-00Dh3k-Hl@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 22:32:01 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.3.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hierarchy-builder (1.3.0-2) unstable; urgency=medium
.
* Update for Coq 8.16.
Checksums-Sha1:
4c319b2844fe5233bdee44c1105e2b7e14b70165 2225 coq-hierarchy-builder_1.3.0-2.dsc
0ce9fc59390ecfa53199382c5f4256fd5b4fb39e 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz
6791fea430b65b415366337e0a29ad915a1f9a5f 7560 coq-hierarchy-builder_1.3.0-2_source.buildinfo
Checksums-Sha256:
dd02212a7950d9674c656c6c5e4b48c3d71d1bc60d6b085da5884dfd35ec92e5 2225 coq-hierarchy-builder_1.3.0-2.dsc
c4b557adfcfd904ffb13dbb4d6a2dc0f6e28ad603b211fd2334478fb32bcbf02 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz
2248f9ebea32ace856ded1c63c0f61eda8409af16845d3670b9449adeaef0d09 7560 coq-hierarchy-builder_1.3.0-2_source.buildinfo
Files:
44c85422a371b583b1d0fe4800efb20f 2225 ocaml optional coq-hierarchy-builder_1.3.0-2.dsc
d466ede1c84feafc0dc8d649398fa636 3380 ocaml optional coq-hierarchy-builder_1.3.0-2.debian.tar.xz
6a4c2c8453dda27fa64bc12e1e1ac34c 7560 ocaml optional coq-hierarchy-builder_1.3.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXNsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8ooP/iISunOvExwaTW6kBbwOQCKp2DHN4N3O
XNuWAhLbZ8TFax/7HPOCYvwJn5P1oo8KeGt2TynObkmhY+BcEwJIQ/seJ8HlPvBf
KPqHYocVZ2OUVYtkbh6ARSgs3a4ZSGbFiHuQMuOIdO/0/i6r6799W3qVr3U68EVY
jNxqzOcQaVxPY6MoBO2WUIfuoLTD1QcN8MxJLY+kGAwF5YtZMer7vCGZRYTKei2f
EuSWOuBV0/iJuukl8uVocqxIQ2mztsXKMmo0DabDIM+udZ+eqbbg30RnHGn4OeJZ
kwFt9Dgp8+lheOjFMfoSi78Ntr5FJdLSgDwXNY/yB5XLd0Hn+EyoEMH+hHHSooaV
x4/rMSQsXhIe4cgsC8/iNl/3FCzlJNH87fDL54QVDUBlgMJOqNao14vTstZIRDB8
v4bcS3JVUlXUwFQG30xMk3t57fIgDpoKnTMy6qjqEoBwBnaG1H5Qz8GOxe2aor6y
ud5tRKJKWk07bsdTbN5ZvkQiBQYkx8hgENLWjgqeyz3Zl+nEJ9Dn3oDjsJxn+C/n
3RaYNdP0cLucGneNKLUHDDj9+7Ih6UdhLE5KaNISRjb/gAsyqbkH1c+kFn6TNC+M
KoNerWoO1kBbs1s+p3wwz+eMNVKuXpDi6jSxa/O5xZmhGDdknkDMoaBlt9Ohx1/J
8pes53GjegLZ
=CeXL
-----END PGP SIGNATURE-----