-----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-----
