Accepted coq-ext-lib 0.11.8-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.11.8-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:57:50 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-ext-lib_0.11.8-1_source.changes
- Debian-source: coq-ext-lib
- Debian-suite: unstable
- Debian-version: 0.11.8-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=8EnvmzHPNi432zpt1Qs6oW+bbyr7ujQC6qIYB8xuP3k=; b=kfja2ghY9e4Ypk6ZM8PlucyU3j YxdQC8oKMhICSi/ETTuWRxOf1VhKXJQG8szCNpHo5KpUpH9PMKZH91UwRJXWdA99xl7BYX2cqMMVs LqAlY8EouR7VAUWP7TqL1V1BJOfWWfVLLP4p0YHT5K/Sq7R1mVs8XbGBZl/8yR0Dsp49DNPpDVcx1 GR5VndDSFhOBwVuA2JpKEvfIFl31/5Pml0hlHYxAZWh0Azqil02cLI+ovCBX628ORyz5wCuKWH8n3 ut1Y//tIpaJ/zSJ2ZF6XJYjpK9NWciDbMSgNYRNbc5kw5bUyDz1rdM/Qua/kiDJnE3LQW5vywlASH wqJzsvRw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8obm-000G7g-En@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:29:46 +0200
Source: coq-ext-lib
Architecture: source
Version: 0.11.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-ext-lib (0.11.8-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
abe7f00134c8ff226253ec530b8c0bc518f65baa 2089 coq-ext-lib_0.11.8-1.dsc
8cc4d7296998abdf7a3dc300442f859919301d88 83119 coq-ext-lib_0.11.8.orig.tar.gz
241a23f894236b5a8f30a935b9c79423e69b398b 2072 coq-ext-lib_0.11.8-1.debian.tar.xz
4328cc53143c82e77b4504e5d0e034b4b529674c 7343 coq-ext-lib_0.11.8-1_source.buildinfo
Checksums-Sha256:
e3a9d4c1b70fbd1ab10a49b4285ae4380487bd6c4a520ea1f1651a7a7812cf53 2089 coq-ext-lib_0.11.8-1.dsc
d1da9c8ee21bd29548804730b88bb7c2a6b29d3a94a12aaefdb2ab323cadf4bb 83119 coq-ext-lib_0.11.8.orig.tar.gz
24160b0acd98d89ceee28964b6c1ecbf72ef5ab3d7ea48c631749476e0ccac39 2072 coq-ext-lib_0.11.8-1.debian.tar.xz
295265398af94c412eda0c2a3909e11ef7bf9f6307289f614b46a231f20b5ebc 7343 coq-ext-lib_0.11.8-1_source.buildinfo
Files:
fa0e10a9f66db379af4b9bca769b9c47 2089 ocaml optional coq-ext-lib_0.11.8-1.dsc
5f5baefeb5f89f2185e132d8166d1725 83119 ocaml optional coq-ext-lib_0.11.8.orig.tar.gz
85fbfff754251d2e1c0e79c5457c5447 2072 ocaml optional coq-ext-lib_0.11.8-1.debian.tar.xz
21d703725bb426286efe24818f8b01a5 7343 ocaml optional coq-ext-lib_0.11.8-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVhMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRL58P/jHVOey5IhC/R1dBIbSBYT6ypmTkZRyE
BUdkjZiYlx/NQp1OQiRHevgnQFUhCsxYKvsdfkoghG3yfOYiZFtFNUolgM4sHYcw
S9CUOnkWElLcF/Bm/XpU+2aPLzNNBXRMqABbNCfn1XlVCaOOKStfzF3cD1Ka65CU
tD3oRlKSg5K0Tn3YLahKEUdbKtTHekwi/E90A5Uw5SciemhlApo6HYuGJ3QhsQ+0
tZpyJpHs8t368k4yjriDa4eJiVinmohqPj0090c4EVMrsNi3Tdv5x21f3JxFk3I4
OcHYUYED+fYqry13oNzCUdCzmY0roKW5+EU+EeIYN8zunq5qYHMYoVoGiSpwItAH
5PGkDEcsbLhNdTXe2QmAYJ9QJLhutc8vhtw4E9NW/jO4rMPz6aG8A/jklXxBHuTe
/0r3Rg9mpR2Gxd/KKHwYXLaEkXH1zXu72CP+Z5ZpToViOk2UzAssKJgjwkhKekpT
R+eQe1otovQvEOjeqsm2myb8gxlY/uIokME704ZsFNbBGPLu7B1pKEEKeCxb7JLk
XrzIrczLXhcRVPfKTkBxeRmtTQPykyViKJS9M2BAOgCZLXEDsu4BmBMmybERjxM8
yCPhXHIGj230xFGpjgW7UKle80o9Ya33fkUjF1+/43SdHlcrbvAsY6g1czmWaM87
3MujGZsLwmv3
=OYSt
-----END PGP SIGNATURE-----