Accepted coq-interval 4.7.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.7.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 15 Jun 2023 06:05:26 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.7.0-1_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.7.0-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=5bZ191cZB2Cvhv7xMZZZ11nKvukYf6q/PsyEX7lj/bA=; b=WDckZVZVWGT4+lN5Vnj8kS/ITO ertWNL3a5dckeZ0xI77YTnfFrwKcHTgNC1MLyDXd9QUVaYMfTjaSjwT/p6O9u/KgHTR1fDFjwA5q0 wEI9/Q7jNqE+S0/cKSIMgiX9QUzE85FWWJ1T+t+UU113Id3OVS/ARINWBc0B0ma9hFC6g1ZSvgJr/ ARrRXvTXbbBrbPjYQiljU3paIVQnv7l0klZy3E7mxyqX5riZ3AnkJwpvheEHN8PUBTrEZYxTmCjZU FaQhsVkNdNg4tnyJSfSINXjRUclvoi8dzW2Z0L26wHeY5phA8VzMHJrtBYBedh5IeajmKilwI2je1 RdmDvHLQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9g6o-00C8Pa-4S@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 15 Jun 2023 07:21:58 +0200
Source: coq-interval
Architecture: source
Version: 4.7.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.7.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
5ac708b2ef3481774f154de8ee10ef19f0c03dfe 2187 coq-interval_4.7.0-1.dsc
f9b22b532d901fc8dddeb6f62c673ca88bea9f5e 260975 coq-interval_4.7.0.orig.tar.bz2
d20949a0d98870d361db2e0dbdfecf418a03fb58 8828 coq-interval_4.7.0-1.debian.tar.xz
d7e1720f7f6f9024b20770b3e57ae29072a5ac50 7571 coq-interval_4.7.0-1_source.buildinfo
Checksums-Sha256:
011048061115873d8528317e2a8839e1aa9029bf82e78525ea22bd8b60d42f94 2187 coq-interval_4.7.0-1.dsc
bf9a6d6fadcac7706dee3bf012ad2393e9324f4501305e62bcd89e9c78820028 260975 coq-interval_4.7.0.orig.tar.bz2
3e1f52f94d6a8924c29e3244d90f1009f66f46557ec786ec4a3d67b745e26b7f 8828 coq-interval_4.7.0-1.debian.tar.xz
cb42d3107d56b1d2588049ade6142a935644aeead5d64e67f18c4bf5cf6b1034 7571 coq-interval_4.7.0-1_source.buildinfo
Files:
925e11d0eb441082576811534596d696 2187 ocaml optional coq-interval_4.7.0-1.dsc
281ec2a3721f822195eb172a0efd139f 260975 ocaml optional coq-interval_4.7.0.orig.tar.bz2
06bb513d13da16d85f58a384d951ac7d 8828 ocaml optional coq-interval_4.7.0-1.debian.tar.xz
a084cfff5f18f9938ca8d60a52c1f5dc 7571 ocaml optional coq-interval_4.7.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn/0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIKkP/3cm/rfTrkindb3ne8a3eQQG7wb2D+7C
Ok/Iqc2DN7DUTs2laXU3gqidYHNKO2hPPG3AVylFIh/gVgES+nwVf1fFXPLFNq7I
+0iRxX57m+ZOuD3uUvrkrUAZ7mk6+flv0SWzvpOyMp5IC9+TerSXMBjwCfTXRXyU
uo+0GQ2yA+K9B4af2yewrR4dDAypuM0/jJRtCRSnX6R+/Fr0jHi888A+Pv/7+h90
7MppIvNMwWDs9nOP5Cv3OLyvmaIPV7+w0PG+CakdhVaUs5R+PG0vISCrDrhBrTWf
tKcIK3pSz/nt8qJtCj8280c/++dRmkb/bz/HthI/QbTnvqKpZ49LbQD82KyNazvG
JAXxgnqAJM2Q3fDi0aVpLxTwGIaIIjODUUjfgMIV7FNFTmGtVn2bXgP8lItb04lK
wKFw8D6CvKYX6YkDV4ad2/tjnR4s3oP/wkjJrGpRBiGUsjqvEWvlgglM3RBO+Ufr
18kjmREJdVc1rwIOzylVRERByJgh1yov+w+Ok2AxGDWJmSbctLO4I4M+sKTa11W1
XZLEDEE1ImDt272GQ7e5QR3CTd6RIKafOAmcPoNiWpM35uDKQpV1euhoa/dXJM3O
e41B1geIYhehd8/EdBw6ZCI6cSMB8RM22KeRdjW3wehbY/8I33YQT0vBr1Q4WTWi
BqeCZfXX8UOC
=Yhr6
-----END PGP SIGNATURE-----