Accepted coq-elpi 1.15.6-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.15.6-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 11 Sep 2022 16:18:51 +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=AwZOaxJcZ+0dbjFJ1iDU7j861tOoAFiBj0K9fA2FZoo=; b=sdIPsfrG3tiT3/BVbyukjZFZvs /iexzCT+JeRM0dKxB7tQtTkpKa73EQI5rpTU/lWcxmxcXatt382GYwMNR/LrPNs/WFInbviv6N+OO 9qXTCXCwpCsF+pYGjNLvWr8fT1ttFhH5JLdk73CYwx22bbz5Rj1pl5GF9qglTBL3Etfh5rFD1nO3D lClQvpqJXTgp/Y5lfQX9flhInOKudOLizz5AKjVrsApr7NMXo5dbekI749MVaWTEEGUXelkpTTTXW x2WigO20X30WkBPM0Xp0T6Fuo0ZDcXGjb23Mm5G13v7VDGMgI1QkY0HsEDVdmvhI/0NHkAyGJasmd IeiCmEzg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oXPfX-006NQr-1k@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 09 Sep 2022 07:36:42 +0200
Source: coq-elpi
Architecture: source
Version: 1.15.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.15.6-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
2810ddd0ccc270ae762b67e9e80d537fa8cf91f8 2025 coq-elpi_1.15.6-1.dsc
6b3879f52a9602baf96d73f85756839faab32f35 404950 coq-elpi_1.15.6.orig.tar.gz
4e94d366aeb6435779dea48ec66f3e3430974890 3232 coq-elpi_1.15.6-1.debian.tar.xz
4363a016dfbb48251498700ca30d011e86bc5ad7 7437 coq-elpi_1.15.6-1_source.buildinfo
Checksums-Sha256:
cc8b431f442990fa227b8d0771fc0abe481e304e6359e4ec9b2a3297c41be31e 2025 coq-elpi_1.15.6-1.dsc
73539a72340aecc2309f30fc1069cf1ee1619d661847494d95a815ca6e8e578c 404950 coq-elpi_1.15.6.orig.tar.gz
43d9e2aef3bba5df2a66baf0d095f4ef6dfd1d663012707fbea39066294e88a3 3232 coq-elpi_1.15.6-1.debian.tar.xz
6ad61a73b985d03c37117291274ea59b571e4bc4c2f7b3ab1e0f60b9f2a6204b 7437 coq-elpi_1.15.6-1_source.buildinfo
Files:
229b0f63a238766fdf15e487104b21a7 2025 ocaml optional coq-elpi_1.15.6-1.dsc
a51added770e2b7a11767bf996c78d00 404950 ocaml optional coq-elpi_1.15.6.orig.tar.gz
98af2962e7342787717e6cdd1697d5e2 3232 ocaml optional coq-elpi_1.15.6-1.debian.tar.xz
e5dff5ca2b582c529e93cfa0ce7e57a7 7437 ocaml optional coq-elpi_1.15.6-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMa0TkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRW68QAJtpJXSoQ/0x4ovx/mU5gxFJzpMnBzZD
THUobHRp8bbexsWA6uampdRkbSombZGOSHGpuWntCnSPhQ+JuWYzBGuLIFYkO3V4
JBS86TibZncB9MoLWSEuAEF1jMM9yRetOU4LEbBBbLVPmQLKT61p9NkzThrD2Uvf
deGj3P9p1J0Yj2tc2rj4pwhsKXQOtZDNqB2JO2l3Ib6vS4K1gadCq3xVx5cgD93A
ejs18QtKL0m1r8Ig4VMiI2saNnWh6qSdcPbRoR9/1QlAyTJRt3JTO81R8fpjfBhy
gr9+4RnjSNBRsSEPv93YynHha/957g7lAfJiRxrmqEucGF65y/UmpucogRlMGdFg
7FNZtPadVUeGeslir2LF0AyrAY/O0Il+bJhatVIttaYc0vgJcgrgcyZ9S32PaO1S
AG/SDZb9ywzJByAFfub1bq8IAzRI7g6oF9LWXfKph54623kNFmVHDUNUChzJMKM7
24TimIJAwXUGcMI4dTcBbq1z6aEpNl4+GX2sGQjK2BFbrMeOE9TYVdA2Ftf6V60H
ayHVluMLc83XP3V7J4DV1vCTPmydO2bUOuo9yqHXKzdxXkxp/GbwlJXeWtHQUvW9
uENsaUgKXyEucW7jIrPvS7yjOF02pRLnymJFE8l2yJ6/dnerTebbf9aYG2wZ3OYy
jLlC+FLkYI9L
=oC+0
-----END PGP SIGNATURE-----