Accepted coq-interval 4.5.2-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.5.2-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 27 Aug 2022 10:20:14 +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=Jm1t3LT3MK4XfHcKn4kvBv9aksuuKfamulk0oufwzvk=; b=Kg9nsiA/LuaS+I635WSa4JWcyI b+Z6O3J3k+PBQuQ1gGSbEZzbElha+EhmjtdCKRP+vaaOdFYl3yY6GLUF+/XabeTOI1JMKqOcf9edT wAkRoLjgNXwsyM5tVikq6AjsPNOOXAZYlFRJi3ol0yoY7IrkWBKgLL+5HsbRaI8vUofQrY2JlLp8T 6LgeT1zwDwVr4OIXjAIJ5dGGwlz6dMemRcJ47qjFRoYY1beevR/3+NpaGIMCG1gPCAYV33fIENa1X 6GlWr8dWBXh1YSODnw2xv25yr1AuBI8pK6m5inas8Juy4fXwtxhy46NCjLKrOWI4nFd+Fp9ftninC AOjKCBeg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oRsvG-007Yhk-1S@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 27 Aug 2022 12:00:45 +0200
Source: coq-interval
Architecture: source
Version: 4.5.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.5.2-2) unstable; urgency=medium
.
* Make the package compile with Coq 8.15 and Coq 8.16.
Checksums-Sha1:
47bc57eabadded8bd3f51ad9d05677963b702469 2182 coq-interval_4.5.2-2.dsc
33f0f4b615fb281ff61e338e01b63816a4708f08 8696 coq-interval_4.5.2-2.debian.tar.xz
f5eb86f0be5d373e5ed9c5b29e2e88fa88e5b693 7590 coq-interval_4.5.2-2_source.buildinfo
Checksums-Sha256:
0bca2fac656df96e33200eb5c35944da53f5fdb4b1a4e51a55ffe26693fff298 2182 coq-interval_4.5.2-2.dsc
11683d8cb0098b04972f590bef476cd65c4abd349b7d23db28e92641dc67ca05 8696 coq-interval_4.5.2-2.debian.tar.xz
158277f705bcfaf2d8c955865f53b6e5b93c002e24e6ceb9f9c9f398cfe0bda3 7590 coq-interval_4.5.2-2_source.buildinfo
Files:
8025835202ea3927c19c4a99f5eaa37b 2182 ocaml optional coq-interval_4.5.2-2.dsc
db933b081328f8d4aa37db4d8ac96d8b 8696 ocaml optional coq-interval_4.5.2-2.debian.tar.xz
0d1b22231edd6baa3fb8f27a7eb14ede 7590 ocaml optional coq-interval_4.5.2-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMJ65MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIlwP/RG/Dd+ubwp/aTpLG2NYmnDsFvMiLc60
Dii6R4rP9w7I/ia0wPEjky9Y9jMdfayFsuH0HgvWChvOTmUBRPIC/CmnbB2HP8aO
2+e+HZG7V9QUgVGi4Os15lLFCJaopmnSU45iWZHSqBUtzfH/s2RGRfHU6xSNuEi+
J2hOVnS7SRd3R82ATeHIhaUXHH4FRHrvOmw9fb5fov47/JSRWdP/CexXrjQPv2t9
/0WKFDFuZZJ1u3I/wQnPEg7Omst+ERBe3gvHok6/rYdHjpwqhMAvy4joGLkpcRBE
S3h+kLsW0yAn1YKb3BLJS72owSOt7at9r+YDKuOormiOjXuE9L/R0T7CxewN2xO4
Uq9n/AwkMCcCkCBFobRmGl36CIcGFGvhdHk0pWbxiItfWe7JOw1OcyqOXT+/X/xo
gtoa/k1aLRUErYEgjXOA0lMxEV+Ru+lxgfACvDOe1V2XrFG5iZiwLeZxZb2wQ+cx
bWaWhbu57eF6I8H3Ump5wpMsFGBsCJiG4m7wLK74CXCCuGNoZc9ezYtiUBI4As3L
fbhu1TjJe4sDtqXD/IncLCCXffTZaFIfXMMXRGQTXhlLtQKYpGh6YUDQcTtrjEF5
CyFE60gXOgYCdnWjuGPRiKkOMVw9WWlS+AKkwmK1zmnxKShmHID4fxacwXesIsz6
p3FcqRtHCCuV
=kllg
-----END PGP SIGNATURE-----