Accepted coq-simple-io 1.7.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.7.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:37 +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=73R85uNiubYBJcMVwpoLCzZ3PRAJko7pKxZiHYWcy5w=; b=K2KNS7GkR+D1IgJNAjA/EFhijV vGszbaTKLH7N6CxU0uq1kQ/mFE8ZM88iYIYOVN4fkdCFlPTZndz8nAys/MIjQrLRtlFeGQ6dQr4Y6 Aecrb6dGKRsoAd9zWY5MmSZpg7YEuHLpNy/L+dUaEgQRjbrVF1Cdh+UjyByz5PWoGc9XwmnyH0Ddh 4xcue/+otVyNt8XL2J7oFTq9DVwLJTsW3Wq/NySNajx7WBn+SLrPuR7UjqI0M3SaEUDC2hufp0guK QYldZ5OzpaHYANLVhtigcJv/HuDbL4Y4MAVHsN3QNaYuzz8EmePWY7GzDhKfS1EkoVUNKztDRu5FG Z59H0rng==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV0X-00DhFr-A3@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:33:01 +0200
Source: coq-simple-io
Architecture: source
Version: 1.7.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-simple-io (1.7.0-3) unstable; urgency=medium
.
* Fix for Coq 8.16.
Checksums-Sha1:
41edab27f651a0955ef006854fa187747c232ec6 2146 coq-simple-io_1.7.0-3.dsc
5baee55b2240ed61f79f8526d7d02a86616bd24e 1940 coq-simple-io_1.7.0-3.debian.tar.xz
0229a759a0c92999127dadbec2d56cf59ab59d3a 7073 coq-simple-io_1.7.0-3_source.buildinfo
Checksums-Sha256:
6f07377908bdfdc7ca4bb8aac80fb9d0d5ad954f910b4eb7d59b2231f0efe340 2146 coq-simple-io_1.7.0-3.dsc
c28a8108e234536b417c9df234d000dd0eba76c321b4d6f80e9f3dcc190e9e1d 1940 coq-simple-io_1.7.0-3.debian.tar.xz
f96cfdbe61b99f36ac6e394fc9e5bf1c218806422de164977bb855c25462cf27 7073 coq-simple-io_1.7.0-3_source.buildinfo
Files:
ab4af42b6b800587cf3d40409780944a 2146 ocaml optional coq-simple-io_1.7.0-3.dsc
21fc9d14e3f5a7622e5e68a7c658aa5f 1940 ocaml optional coq-simple-io_1.7.0-3.debian.tar.xz
d0f48d200a3163bad5585a4fe0bed754 7073 ocaml optional coq-simple-io_1.7.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXRgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiV0P/00U9sOowjLhO1jaUGKsjtB9WDnnE0Ju
YRXReqW8Z0BHARqM7EwVI1xdZWtYNHxPZBtCWuWnO7Z6lnlZs+53V1L6l4SUAJLn
UBnwO15FJkosU22Q82QP+iFgW1ktvftR3cf95Hu300blk8Q7GbaSHbhBZnrYk8oE
6evlC775Ea0aAInxw6+GyOfOg/RtbsQ5PxE9GAi4f8jyqf+4sPEULFpTur0wWu+m
PPiS8f9GMn8VKG5IWKHQUM/Dn0hy5rYqnt8E7+Vlu/CkkCsJedSbsOg2ZcoUdLtq
7dtc7S2B1h398WXF8h0S6u5155+dooVy8wC8AsnVLbRTfULAsmu7me2Vs5CUyv5C
Zvnc3pJ3wsFGmTTx7PUwdhWaeP4weteqw8cQRyRjDYnM5ggZSMgvFMj/pWIwzMOG
Pzs8h2kgiYPqAMQ7pbJi/zuZctaoujRgFsxlLCtB4zL8UllO2QboYnJepkAFmISY
/55y6lB6MY4Do8s/x+GM6SL5goOTX9d2452YKnK3eAYb279s3R46RCz9O026QubM
KHP2XeSJ5vCBs+SWx5EabeHNyr5EpFbAec4ejDUPj0Q6guxk1gqq7sV1QSVWHmdX
GRF7D09XH65RF7L6QKVkpo2BrpCLli+Eqj8bcg7Zc/r1c7x2/rKCpcIkJ8Y3N/nE
ieCPN27084Mw
=OZP5
-----END PGP SIGNATURE-----