Back to coq PTS page

Accepted coq 8.19.1+dfsg-1 (source) into unstable



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

Attachment: pgp05Y0zUB8Bx.pgp
Description: PGP signature