Accepted coq-hott 8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:13 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hott_8.17-1_source.changes
- Debian-source: coq-hott
- Debian-suite: unstable
- Debian-version: 8.17-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=RfCS9uXijyJQksBztgK5EpAzDKR+gLKSiG3zUgzSo/w=; b=LcOhYQboFXowxB5ERa/P1Lj4PA CYqpjvleSLa+n9Evd5UwtNc/EWvc5Db1aG5k4HLjCoPqJdeeXw4espTHFnzHch5F7rX72G9yu17Ex 0Bk623PkMtjzcKBnUFL5+RxpYsMaYgxH5Dvu58/vyncpebvFxUp5xw8Labv4PNTfMJmdMRPEHV3Gf M45CzGgTRO1KDis/mmcmWHyVXJwzE8jKQYU9trnLO8E1ACYeG4R0livFaHBReZqpGmNwwqHfXSZpG CWk2cz6C2kmsFyeiooFty/UkURpUeqf4wtpnXBJBnAAuKRwnG8gD/CfYgWya0HUae3zZ3N7QNNXpG QnGtFASQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8oc9-000GAn-72@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:30:39 +0200
Source: coq-hott
Architecture: source
Version: 8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
3e9d31ec7cdfca12c98b8efe8c1629d150c587a6 2029 coq-hott_8.17-1.dsc
e6f3e473361b5c7585511587729ee0fc587052b4 908619 coq-hott_8.17.orig.tar.gz
9ed082ea3f48e41ca107402d4038da8b48d0a8e8 2604 coq-hott_8.17-1.debian.tar.xz
56f7faadb2f56b50ae56fab1f832660c8ec444b2 7323 coq-hott_8.17-1_source.buildinfo
Checksums-Sha256:
41969e60a79c98fe3ae1963c3bba26f19e128a62afae2da2ac5f66b5b6600b06 2029 coq-hott_8.17-1.dsc
31e072757fa037b24316a466a8533da5b24dbe9549e17de17ef0d75cdb4e3d4c 908619 coq-hott_8.17.orig.tar.gz
a2749b705c3e3ba5d75895729324a33e47261eaced267c8f6ad54909155aec72 2604 coq-hott_8.17-1.debian.tar.xz
ff9b9934afa10d3a30812260491ff1d243a19f15b4b7065959c0a903daf6232f 7323 coq-hott_8.17-1_source.buildinfo
Files:
cb92791825cc2c7632ba9b1e97a56999 2029 ocaml optional coq-hott_8.17-1.dsc
0990129003de98db86d291f947e3e016 908619 ocaml optional coq-hott_8.17.orig.tar.gz
54b6b0fe2beca4e324058d43925769dc 2604 ocaml optional coq-hott_8.17-1.debian.tar.xz
15bdfb6917c27731a3a03d0b4ca4d141 7323 ocaml optional coq-hott_8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVkoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXTAP/3HplFyUlxFqDJAO9WWoganMcFJIVuNC
7pifY2ZOqr9wFkSc6E2gQpOoyImmW7ZAtxlbNC1fNhiqeXmIq69eJorNe1ozkBz5
L887yten9jwfR3xdJ/h54ILKBPdODBen/In3ORSJSfWuwUCBktLbYS18pRSIcj+X
aifeBebWYPbAxFt/d9jiW7b+xibHGGSoCQOhSLjRgx3QCKF5s3pUFcYuJ8VGnNUI
D/0ysUL0foKUNS2YzKFZNyQ36rsxDZ9X5PPTz5EY2mGh9eLWnV9Qvi74gmtba8IX
dQl5tH4L6XMEoh7UAPcdhlzLFMuRR4LofTw8RnfZa+IEGzpgMqfzQylHquWr+HNf
WLKbh8n4NqSc7Rq497FA3ViuyA9azjsnUZfRqc4LWQIyFQMgmcrfe5cF2XLCD85u
RNFZeGJD2L6S4+mpT2TxKSHOPlSxzEe0b7O44LcOYptAE5o0REYWP0c4/EYuzzTz
Es/rlp55phE4QLPgrFR3AqcrTX+ytaUngpzOBPZFOFl4Y9CfjNGzW5GcoxeJUBOR
nrV44vWus6AuohUuaUf8hmtsZ6x8hVfJ/38aPlvc0iKMbHYxonk27VB6flxheAuM
cXkpPl6mVhpkr3IbsRfzWSFmgnC5yILOx5i+Bg/LHyRRM5a4Y02qMVAwpu9lQGfp
kQms944Tx8Yn
=7xou
-----END PGP SIGNATURE-----