Accepted coq 8.17.0+dfsg-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.17.0+dfsg-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 07:21:48 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq_8.17.0+dfsg-1_source.changes
- Debian-source: coq
- Debian-suite: unstable
- Debian-version: 8.17.0+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-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Vg2nzNWcY4DkhuA3Ym+NYezD+F5PWhTFtyHa/ctNESg=; b=IkqeUAXQvr8vKIhEVQ+MjZzmTU d7ewGtQ7lHpJN8hyv+H2W92uyHa16iciXmqcpvNT9W9qYrdG6a1jvaY6GKgkDlCrdfDVLdX82A3PB 3y1LerVrEp4F4WZilkuWm6sDYVyTp1FVoYPM8pGITZoUaYDXV9c70Iq44s9x719l6FUlW6atley13 XokqAOOByPjZ6kaPhF4/iCwwXmIqh4gYb/ZO05hSSdvXQNYhLNJ98xh23yIT4l7wcAbWrquwToxaj cIoF4X/Tg5v8Az3yQpzf3Gs/amTktdkUN9KVSnrjKw4wY6fzT5xcKN2tO69GzH1seKiwjO49zF0Wn nM7r2qTw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8bs4-00EpMf-BM@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 08:54:21 +0200
Source: coq
Architecture: source
Version: 8.17.0+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.17.0+dfsg-1) unstable; urgency=medium
.
* New upstream release.
* Refresh patches.
* Refresh lintian overrides.
* Fix build.
* Bump standards-version to 4.6.2.
* Add patch to workaround a problem in coq-unimath.
Checksums-Sha1:
4702997b8822fe4a423a69004eae2afc1e55be56 2629 coq_8.17.0+dfsg-1.dsc
cf6d446dd6187ed356ea6eaec7e2315ae8282863 4773032 coq_8.17.0+dfsg.orig.tar.xz
1c5cd4cb9423e183d3c7b708857a2207de1133de 33104 coq_8.17.0+dfsg-1.debian.tar.xz
6aed912a14249029cb83ffb53dd0b1fc1114831b 15733 coq_8.17.0+dfsg-1_source.buildinfo
Checksums-Sha256:
2d2cc4aafe367ee76d3d74a434ee5693286a1a692539a205c631c0c72941535a 2629 coq_8.17.0+dfsg-1.dsc
8dfab9a5db36300a19f31fd70009bb4907d3a2e1e2671dd89a7e64ddd4b77ca3 4773032 coq_8.17.0+dfsg.orig.tar.xz
7bad6f506fa1e4eb8f914e9cd7f950d6f9adb13dc9844799126d7c54b1d57508 33104 coq_8.17.0+dfsg-1.debian.tar.xz
f31959cb35c6531a17b35dc5398e46e4dbebf987c3b0aaf9faecc473277f6347 15733 coq_8.17.0+dfsg-1_source.buildinfo
Files:
ffaba6dbb212eb9e69de17ceaa8d0fb5 2629 math optional coq_8.17.0+dfsg-1.dsc
a4600ad16a18533703e73c88f2a62373 4773032 math optional coq_8.17.0+dfsg.orig.tar.xz
056582da5e69cb5ff72f511ada65c784 33104 math optional coq_8.17.0+dfsg-1.debian.tar.xz
35fc2bff158467bd7d2e282944f70c1f 15733 math optional coq_8.17.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSGwVMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLF8QAIfVdbw3njyewZoPSVcBKj/V7Oif5DXB
KllRck43XlfBluD1ANnNEIsMoltK/FB2pOw3mGuRbvHCsLlB4wk0xxdlgvtDGtIw
fMaee1G5SQmUW8uAuJOJpcDI57QSPASkJGbW4lhACPC1jqNLZ9gZu2Q99cEKoTFo
jBV2oNpSPsxTOoOqIyIEcnP/vpoZ4xoKg05d29lKFuv3UIE5s/ojW6Dk3lwSP7Cc
uGJjSd7KUNEmpItJqG/2NwzWwiOsHrArk0kc2ZwRFUdg54SYOIJfEshK0AG32bR4
/7h3dM++tuDuCb/vhJaquEDdHKFL895ohx0i7sNrtCgznlEsXmQC7KA0Sy4ZDcyc
1P3q+g1GkqcnXYzpLBLmWivBNlh3lw0ytOxhUO58gkqhp5g1ri+NB8JyC+sE2NhV
SXiHBQrvPzas8P7/2fNRLut860WAH1vyqGJDcHohQ/D0q+Px4N48eeDQtylZunQm
319frc1Y4zzqcLM75xkDjSVwpZaceuW9WZ2Gi0LbMGW/8ftID6DG8hRcHNurZBJ9
wEikoTdXupAZmVsL9G6nXkG+ZKvc06Bng3DbaxIgMpZrTDJ+TAHswWnBMCtx3KIP
SoU1xCEPe2mHddFQa6u+7QulmSv6i5hZjVheyEC3QNjrxEAX3WmdWJ+jgZs5JOck
1bBQ9yG7eCL0
=AqI0
-----END PGP SIGNATURE-----