-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:27:02 +0100 Source: coq-hott Binary: libcoq-hott Architecture: source amd64 Version: 9.0-3 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-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: f1c075452a2ff22d0a3b7d58275bee1421b6bcad 2047 coq-hott_9.0-3.dsc fae2a2aca61c59860e1487240d0cdb5dfd8ed470 17108 coq-hott_9.0-3.debian.tar.xz c746f3822a9e3205e5efb0fa6882486047152afa 6767 coq-hott_9.0-3_amd64.buildinfo dc5664d8407357ac864b65cd269c79aad5f864f0 14664536 libcoq-hott_9.0-3_amd64.deb Checksums-Sha256: 4179beb60ff4884dfba4d56523a6a852e5416581ae1c43fb5044014daf869c05 2047 coq-hott_9.0-3.dsc 7bb34915462df5b1ce5c8070412854ac7aa6cd2640a5b23ecb69391885a812ea 17108 coq-hott_9.0-3.debian.tar.xz 85b8a0fab080b3db4902b22467d3daba0ce2a4b28734c0e74c0c989e82e21f8b 6767 coq-hott_9.0-3_amd64.buildinfo 1b22e133953786cf18ace8406c51b970f03a7a229744ebbfe4ad909b81e16d38 14664536 libcoq-hott_9.0-3_amd64.deb Files: b81678aa274f6cf3e5613ca0b1643ba6 2047 ocaml optional coq-hott_9.0-3.dsc a8f9d21adfa6e4c1794dd049a742695d 17108 ocaml optional coq-hott_9.0-3.debian.tar.xz dbd92b870a09d16491be1d046ce1dcee 6767 ocaml optional coq-hott_9.0-3_amd64.buildinfo 3b2bb9a465915a460002d27286b3fc02 14664536 ocaml optional libcoq-hott_9.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcyIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZibD/9l43l3idWQCwNKExwPSGTc nzoGrdALI6NkbjqPbalBr0ZdgOJrTemP+o6RPu8n+EJrJa0wdQ5C7JCYWFj0262l WMp+mxJLVRSCLFlmWB7QtrgnT1508PBhtmbIumcKPG96O704qD5ltN9RHjVK5P7k 4MdBsnYx36FI1lekgbLksC4ZqAT4Z2TkvquWF6TaS69t/I0Zj5300ADT4WvB2iNT Ol16jlAUABoeVWeQukfkRdR4TvmeqOD/7GXWFTV2l0l/Olh0I0qy29ydVpe3P935 4xI7n20wlpw2RfgIzGGMU42speUlqowwGVAJ13nfRfkvf02Y24xUb/rwNRu7MUYR MPBtjV9gUNjJACcOIMCMa0fZivH8BRsHUjcTYGZIjJfmvVpnmo5zC9ZyOJfRlvQH /XGDEAjnU+9QTZmRDAzMYPgj220VVnifF/0YxLrrhp2SFZXV13qFtgX2hP9Aq/bd w+SEVWgnEMZvv3Ot0mVkTLiywQxN+1ORL7V0Tp2TugrzCZoTgOoUAHj776DtlW1i uJ/RSA0wc07KMBHgjkcSCX09SMKTnDflaafJ1ORJO452eWES7+SKhluA4NZK9eEA ZnWMOeF8YT+q0FdJnwT0L1hZktxELW+gMl1pmOc9w054in/L2HOJFWfCM3BfSBBa oQM+8C07JiNwtU0qgujDFg== =ZU2+ -----END PGP SIGNATURE-----
