-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============676821908948949150=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiuxmAAKCRCb9qggYcy5 IX/vAQCczhLJraUSbCu/Jvz3w7tJeVysGndNsu6rD/lJRudSPQD/SsJdg9K/FNeL Ny+5Y1cGYPH3urF9OkeYQcD06jzV7g8=ryTh
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)