-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 11:44:41 +0100 Source: coq-interval Architecture: source Version: 4.10.0-1 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.10.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 6319d6dee537a685db06e562d0b869c634bc4052 2194 coq-interval_4.10.0-1.dsc b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2 7fa16896223749dec18bff115d249c29feb912c6 9216 coq-interval_4.10.0-1.debian.tar.xz f39406d1cc3c4f5b5325bdd745d9f3acbf1afa6b 9043 coq-interval_4.10.0-1_source.buildinfo Checksums-Sha256: 89ab66274e5d6bb174b6d84aef2c17a153575965d7e68b20f29cabb562bed5a2 2194 coq-interval_4.10.0-1.dsc b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2 5a2d9495b2366a4826428dd78a0a03f9bd6292f1c60765add6b0c1ab85884dd3 9216 coq-interval_4.10.0-1.debian.tar.xz 242546c862299c6a462155631ad9ab070c8cd1e12a937c9c7f4da437164d1b4f 9043 coq-interval_4.10.0-1_source.buildinfo Files: 3f44388c607112ab3914adf7bbdd13d6 2194 ocaml optional coq-interval_4.10.0-1.dsc 4015bfff66a211ce3739fd4de7e5e6af 299750 ocaml optional coq-interval_4.10.0.orig.tar.bz2 6d86caa2432890f0b820b24e0581076e 9216 ocaml optional coq-interval_4.10.0-1.debian.tar.xz e63736ee7f623f1c58c82347779b7f26 9043 ocaml optional coq-interval_4.10.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH7VsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNQYP/3M1wW9cGFGphr1Zm5ixShmL9+qK9zYv +H3kv2H/m8HtVmza//KpL5a3ogKgsFFHrpr8bqAQUYch/DBe4YmgN4wkfTU5p6ga iAhEvc2tVUcrnZeDN3cz0wsPMFCaE2EPDJbDkHsglMiA0wSGMlmGVTwPMYZ+Wb3F Z8VLHdCBcJGjzwm+XC9tD0NxWvrDtj2ieC54t3GUShJd/ZPQxE2adURnqUTLmO1K GnJQkQ2kcsUCr2ceCkzz/ThYZE+woNBsd+VJldWKEiWin/DILcjx3YQ01xE59Ydi cmIprDNqMauwCfVSGxTuSg8bOOO6exzU0sA0y186CeJkzuGziCpSfj7vVQpBn/g/ zD2a0QgDQhSZnk+diXTBZkhxyZhERq0UxJQNaOBvZx8NHIzEI/Vc3IQYS4Dak/xP jIywy13gx6ITQmmEJopV0J5FDR7sq/JIxOfcEkaN6NGBdVCY8B5FaCGN1chvadnr 1K4A3VPUhOzA86Z978AdVU+WJqp2/eypxJtmjIUSAgjcIl1Kf8yqk/RFYMQeVDcZ q8V+RCWs9cvEM95jcHVjLHAA2LPLDun2sK18OVdDt9iALiy0Uxl3teypJVUXf+PN jweFMjS/SNCey6MHqrZzL9cJka72rr8N0+LthgUrWt+aq6VmEht3NBUZ0CE39APt IN9ayFKtRK3a =7u1S -----END PGP SIGNATURE-----
