Accepted coq-simple-io 1.7.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.7.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 14 Aug 2022 08:22:15 +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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=5jRig9e6XsZQvMGu1nAhkuEgprPW/6b8F6On+mt3h6w=; b=SLjjFORbUxI+9aWsL/MN0sZTBR sk9Wg3YOTflQVOQnExlGma2e33i/5KSBgsXVPoyUu0A1qZnOyNLHnhBw8tb76fhgB76SVF82Huw8i GP8MUUZsNvPNJEpMM++XrCUxGuYbYoy4jn5yUELwgTxbmtc2wMY4Xf3emYFaThMywVe8W2a1W/p5q wc9JZblNEHfUv4dbLkE8lC/A1ugswqVMNCmxLWKasoN6TDgCv/5L4teiObOkYIZm++Msd6GfsqzGC V3Ygh8s9hXFKYYUcI4sdxVXBdElCMS4EyfegHcKjxYcZP3pjSezvS0VeJcceCfuT461KnNGXHdW5h KG+oXmYw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oN8sx-009mu9-8n@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Aug 2022 23:44:16 +0200
Source: coq-simple-io
Architecture: source
Version: 1.7.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-simple-io (1.7.0-2) unstable; urgency=medium
.
* Rebuild against newer coq-ext-lib.
Checksums-Sha1:
3ce717837d59af6a5510f5ec675aa9735615b489 2146 coq-simple-io_1.7.0-2.dsc
839b0c00abfdb7e2644ff170c8141ed72e690c7f 1916 coq-simple-io_1.7.0-2.debian.tar.xz
e157337362bd4c93e61575fade4dcd550e4b61c7 7036 coq-simple-io_1.7.0-2_source.buildinfo
Checksums-Sha256:
6d4fadb321a3556091ac81e37078297a1a0cae3f121e78e5f4128cb2410266ea 2146 coq-simple-io_1.7.0-2.dsc
515605f597003aba91ab7845e6ecf6dc229565ba7d199cc67aa543b12aabc760 1916 coq-simple-io_1.7.0-2.debian.tar.xz
3005c50e9c89bc6fcd2014643c4d9558f0b28a0e176a231469ca5aca60ce6e8a 7036 coq-simple-io_1.7.0-2_source.buildinfo
Files:
15f8388cbc4904eee00729347f3204e0 2146 ocaml optional coq-simple-io_1.7.0-2.dsc
5df1347d05c1be488dc76c109bc6732c 1916 ocaml optional coq-simple-io_1.7.0-2.debian.tar.xz
e2bed90528631388efc3ac50defd68f3 7036 ocaml optional coq-simple-io_1.7.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4G1MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR00kP/iBXi0yxgpu5Ki8qvufan9PFyamtwW9K
PFn3KAQnuZF/iSWnjOSbyNWgl3OHMepvpYxjHl8ezUf2YiRavZ6p5JhiIVlMufB5
MvZyd1s7zi1ZsnUChhlN0yd9mxL4mwND/xdfuLspDq/4e186pf8saEY0aQyhHCke
IrrFdH7Dd8jxtCPQ3HQtwX3FkLY474iCeAqzpgz34JNG5PlxzeLW6S01vC+v27WM
S7FodqxL6tgpzyEWeO3R9VtRjbNohti2W2RK5n5HTGBX7jU+34rgi2ycAmT7C07W
k3qIvhyT4yQYhJsvf5TbTKrOZt9t8QOJp00CphcHmacB7ivMPoEgRgV2GYvu2R2f
fmr404WN25hDvwSGtKzl3fLNUBJl+CjGpF3tF8VyZ/canln6fDm0LsHu8mo5mEjp
bRTK1xv3asvpMmsTZfuThweKtEkuhpd5kco8NltD726mLZYXLEAeIAjciYPfop0c
PoIta2qnfGJbqFTDYXhElDN6ZCJed5mndujOco9g1GSMNThqC9pJZdxlYj6dpanh
uh/3UZjNZUC1T4+/u65fi+SfRrNjH9hf/l1z90YwQMCPuxzJlQ9SzSQC0LUOiaVb
ZOz05JyV+lR1ZL6Ka4qsP2aO/Jvkomq5eM+ARtb7v19KeJzsH5aajoaaKWefx3u5
jNHI/xX1LBHy
=aHbv
-----END PGP SIGNATURE-----