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