Thank you for your contribution to Debian.



Accepted:

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)