coq-interval_4.5.2-2_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: