-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 11 Mar 2024 15:46:22 +0100 Source: coq Architecture: source Version: 8.19.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq (8.19.1+dfsg-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: f9ad21ca3a60f53b16f58e3f15b5e537ee8f8d54 2573 coq_8.19.1+dfsg-1.dsc 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2 007830d7ce983fe895c1a8175c51f9913be22bce 32828 coq_8.19.1+dfsg-1.debian.tar.xz d423381a9ab57d5d3b42153e116fa5e0914dd8b3 17341 coq_8.19.1+dfsg-1_source.buildinfo Checksums-Sha256: 0fec862c679aa3e361177a7bd3ba70f214d041944fd06ecb9eb0960c81d0cad5 2573 coq_8.19.1+dfsg-1.dsc 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2 630c9ddfcdb5ee1349050f831ed86a614a66f399bf12ecfe1addcc79689087a9 32828 coq_8.19.1+dfsg-1.debian.tar.xz 915fb4065cb2105740fe9e207efcf3d17582caf135e70f57ca79ece50154a1e8 17341 coq_8.19.1+dfsg-1_source.buildinfo Files: c7968d2a09a40b727cc3594f2d0ed86a 2573 math optional coq_8.19.1+dfsg-1.dsc dea6de51a6e8218824751962ae449098 5589471 math optional coq_8.19.1+dfsg.orig.tar.bz2 f71efabfc0ab53d7d84d9c817bc56dcf 32828 math optional coq_8.19.1+dfsg-1.debian.tar.xz e59605465cbc20027b09601592edfafa 17341 math optional coq_8.19.1+dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHykYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRj/oQAICOQwmch6uhdtM1QCjbGz9w0U/ahVlN o4YTDuF19uKO2ak470aqgbpFdA/N/iRPWmMk1vrN3BMxon83h0LKbc/1XPTO6EoX qlq0v00m+tqIouIHefamS/9WygtXOjMJ+P2GYOzQ+lKS68DTgzCwZPDwctNaotTr BabDm9awEsiroAcP3WWaGk+OSVnMAmXk82b3cpwd2DMlLrQF4gN0OdQ739SlTAUy pkbAqD4naAcfChZMsFkYKJoVbqfuE0czBM5WnoXA9JZ+SCpU6wokLrc/esmtpDFZ oClIcfv1UXpvjxx/opO6Bp/o4DFsfbMJ448WlmJpvtiB6EQfTunrWXD52vZPQPwh iHKk2CHshDVyi1LtOmkQsExNzEKkEPbr2vxYle8Z+QUCpvJMIrLt+FhvKLE9rJAZ nZ51zNB5Rkv+Fk70fal0yVHTrIdO43ixqC+XxuqCgCHXaPcraO8sJA0S55PhQbl4 fTg63Ks27kywnOfc1Z/CHMtGqB6fMJDs8nb3dS1xFUIUdTBjRzzheZRmpw9SLju2 siKmnP+px3B1LwJz9OPY5j6o/mfMOnfqAUG9r2Q2aAgaW4QuYfpncEyNU/V2dkuP mwXKXwMxzt/vpQu9ftqgtXw5hGS7eUDGca0BczU5MS0TOQXWJVQV6KjhsT3My3Eq dC9YIhmK2wn2 =KbkJ -----END PGP SIGNATURE-----
