Back to coq PTS page

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

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq 8.19.1+dfsg-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Fri, 26 Apr 2024 13:52:24 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq_8.19.1+dfsg-1_source.changes
Debian-source: coq
Debian-suite: unstable
Debian-version: 8.19.1+dfsg-1
Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=Pq+XrplbFvONzkKHQkSf2/JOxCKHaVsqSZX1dsk7W/Y=; b=myMQj+N/Q5mkNbLVfuUWljAPj/ FERjEmOd6VZ58MSxngAiux7La1UzrSenDpH6Q3aRwC/XwI71OVd9h1UTF4BcEXucFhJ2raldTYM2O nBdzlHkCARMHTnneyLGcU89wEpn62dGCSTLzXfKMErqVZ/qKEgdQna/bmsfbHghFyTzviolzlHAWs LGmSmAQmmzVFAhtQV1mketmq/T0O8J1jZxmATP1mJFpLYO3IpGTP8fJeDopD7iy8Z/Aw2K9YvCaq1 y6q8Ssv4g2mm+EBK1TQMerXnBU/r2BWFJIG5JlINuFudDQwjAQ5V5lNlKyI1ZIyZWtx/6/2hmr6uS DDxYPNgg==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s0M00-0070Ct-MX@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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