-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:09:59 +0100 Source: coq-hott Binary: libcoq-hott Architecture: source amd64 Version: 9.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-hott - Coq library for homotopy type theory Changes: coq-hott (9.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. Checksums-Sha1: 1ba779a3c51ba030d77162990b619f248d4fdeb0 2040 coq-hott_9.0-2.dsc 139c559c1ee5726ec7b105b0c13ac279aef961b7 17060 coq-hott_9.0-2.debian.tar.xz 04a910b208b8a55b2dba3aea9fa8a630391cb18a 6770 coq-hott_9.0-2_amd64.buildinfo 5f540bf95aa48fa2f48dff547abd2b367179cae4 14664608 libcoq-hott_9.0-2_amd64.deb Checksums-Sha256: 535fb890a27a01ab3d6e7dcb3dea7283d9ec57784412c84419a97a700c5022d8 2040 coq-hott_9.0-2.dsc e80a1aadc81ac778180a7d02bd1b508b0a5d72c9bd0826ddf5affa8876e2c1be 17060 coq-hott_9.0-2.debian.tar.xz 5df395c2545f5f6b02f21f5af3d6e0dc3bdaabed3a1a2b3728b33705885bc43b 6770 coq-hott_9.0-2_amd64.buildinfo 8ccbb6cfb3f59628be882c006000cffad65de5cadc56734c88364448b6f7d7e0 14664608 libcoq-hott_9.0-2_amd64.deb Files: a092540f43803ddf69bba114a2094d77 2040 ocaml optional coq-hott_9.0-2.dsc 8a2a7a9f4301dbaa860477ccd8ab3199 17060 ocaml optional coq-hott_9.0-2.debian.tar.xz c8161ea8e45824d4273e153ad77525f3 6770 ocaml optional coq-hott_9.0-2_amd64.buildinfo adfc5aac3aaab55eedecb2ea43514d19 14664608 ocaml optional libcoq-hott_9.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzJwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZnDD/sGycLE2ZDBA+5VGI9b2BjM 1fTfMvdck9qfddTLQ5qiHs5O/s8hrX9Txw01po0kGMZW0Ov1CyEJhm3aTc8YzDyn aKs9NjTW9cdt2XvtyQUngtIlmDr4RRbgnG6TpJi/cBmIeHu1w90jPbD85B/ed9OF ilhGP+ofiuE4rinFCNoJvfTsyUcO+faRTg1xi6F2GNcpqA4qcr8Ssdc5MAv7MtlZ OoF6B9mDD4UxfdIx4tN79EWdEgeOcyXNCwzV3+Q8d73fSWrQSrcmGdStyvh1OwSI AXVL6rTP4dMfMhozysEHo74eADdITKFJ+diAJqumPCS7Fs4g5GGDnYhrsOPwt+er +D9dRlfImOvlLNfi265HrnV6h6GSJ4u3H0kJar3Bbnq9a6sl/s1nR+AVDhtBW+Lu Gt4jemIeASsj8XQRhQatPxMLF1YgON6Xeur8iLMEtvDo7/W6iaIqWJkEhmm1vtAM JahgGThI6lT9DWppe070UPsp2Dy9qb4Dk6TwM6+cozSLao5YExyOymXSPgR1A/58 e+efKkxMPs74ar1xUI0xdPDHh0OQpIGDX+yFelsQfigEYvXLJ8PmiDybhhVhAUUt oksNbosYSxEU9Q0kz1rWJacz691rJn9pgvcp7wCHGM/8+js7e3HRuszYq23qUObX PnFuL+1U5gW7t772XWkuyw== =DEeZ -----END PGP SIGNATURE-----
