-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 15 Feb 2025 15:21:50 +0100 Source: coq-hott Architecture: source Version: 9.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hott (9.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: aaf483ea2b5edfe9364e755921c0fe998b699432 2037 coq-hott_9.0-1.dsc 52a743135615c12e11196a5560003c50163d7a30 1118988 coq-hott_9.0.orig.tar.gz cd6af1985ec0298c327c90da803e3d7b098d8c94 3012 coq-hott_9.0-1.debian.tar.xz 777e262a94bb50c09fc0afa0979af8ba073ced04 6844 coq-hott_9.0-1_amd64.buildinfo Checksums-Sha256: b16a9ac3d560b19c94dab39b192e5f117242d788e0967a46b525a382e617ff89 2037 coq-hott_9.0-1.dsc d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz 792c2c35f643fc0a78ded73e2307033bfb6f6cdd8aff5517ef57ea7251958a8a 3012 coq-hott_9.0-1.debian.tar.xz 0ff7b2a89b998d75f1d039593fb9e6280e388e04235f2c8e8a11f8af28c4a398 6844 coq-hott_9.0-1_amd64.buildinfo Files: b8427ed1e6b173b95c066eb15b656c67 2037 ocaml optional coq-hott_9.0-1.dsc a42c5c032d3685cb24df20568bceddaf 1118988 ocaml optional coq-hott_9.0.orig.tar.gz 887030a5d344b194392cfbdd5cbff907 3012 ocaml optional coq-hott_9.0-1.debian.tar.xz e6cfad155a53fe7c10e07933d11c61cd 6844 ocaml optional coq-hott_9.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewqb0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYTeD/4iepYJgF0l2Yd7KRJukSf3 Gm3Qu5bFEV87S9qrYbgg1Ykn6C8L4JNHaI7cElF6fVnfyhAkF7gmsYC0nlN38zce oOEbhfOEqOVkIPJUYEvQ4oxNjUM/gEHkkDr8+sh5hk4nEuFbdNtX+EFePPP1iQ0B L4gQcHBSzygd1qKkjVARgm4FdmIK+Y+iYUpqekZb7QvEa0qj8m680d9B63I9LPmZ VYiPv7dBiF8/VVmeq4K76+ihOrKmlATa1Ux3S/+iMjdjGcy02DkpIZJbkpINm0PQ v5cm+LKPFDMhc98mU0DJbukcxGp5WrKzD7vt7VcLFylLwXyzFooxYj6Ltq40/2O+ vPmY1F47b85MeXf8z2lLhG2cMcak+yWzpmxfjcWh3AsxzVAusN3KoAGgSKQQz4QM z44caygggU+yG98fyIeTA/mGn2gTvDZU1lZKxrXRJAJMhdORWPI3fr1bVKejMP9B Ts9yDtCfbA4XCfYMqAc12buSicqzvL2z5LJwykWxKKOXM0C7cyEmp8uqgHJuZqal znJrhnoI+j6Z50ryczPMd68wL3ldfDRoRrrTmJ+RWbJ+/WT5ONb3ZONfEWxYbP0f EMGOKsiRtB7G3Yjc6xG1GjsxFB8w4wKgjPW+37cWvRKpjYJhItc1HLSOAyj4b4MT WwVGMOa/l8g0FHfQtALd9Q== =8Jvl -----END PGP SIGNATURE-----
