-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 16:26:04 +0200 Source: coq-hott Binary: libcoq-hott Architecture: source amd64 Version: 9.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-hott - Coq library for homotopy type theory Changes: coq-hott (9.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: b3d1f594dc9af7ab2dd99e8db233c826d5308877 2044 coq-hott_9.1-1.dsc 40b70101d53bcbf62aa7bf19e0575e61ecd63989 1184742 coq-hott_9.1.orig.tar.gz f249278f39fb63a3cdf52839d71e778adfbcfeab 2728 coq-hott_9.1-1.debian.tar.xz 40abd593b639f09846dab0e2523403787d112686 7363 coq-hott_9.1-1_amd64.buildinfo 2fbde7e3c70d2dc6b42294c7e5024ce6ed9d1962 15126448 libcoq-hott_9.1-1_amd64.deb Checksums-Sha256: 56e1bd2d0d601b63d2680f73227fe806e961dba5c32131cfa373b4e61825f6fa 2044 coq-hott_9.1-1.dsc 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz a71f48bbfdcb5c92a0ebb3d5d7067ff69f63ac107628115645f5575e620bfa9a 2728 coq-hott_9.1-1.debian.tar.xz 0f4e88dc02b2d992d7ed8c335b482565fde29f1a0edd072a01ee7231b3c1e81c 7363 coq-hott_9.1-1_amd64.buildinfo 38815fe64f8134750e86388b49978da2cbff621564c718c32c559f2f0c20c8e3 15126448 libcoq-hott_9.1-1_amd64.deb Files: d797b066388f423c05cefbcd851cdea6 2044 ocaml optional coq-hott_9.1-1.dsc f68c0c08e9e5a22ff3f8365b37a793db 1184742 ocaml optional coq-hott_9.1.orig.tar.gz 965f43bec3f69710ce205fe795f1918f 2728 ocaml optional coq-hott_9.1-1.debian.tar.xz 968d64bf89d7cc49d344ac7ce7fe04ee 7363 ocaml optional coq-hott_9.1-1_amd64.buildinfo 62e7be8df7ab7021ce23337dc450e204 15126448 ocaml optional libcoq-hott_9.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRAncZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWS5D/wMdPVvGx/9Klm/SLfXbMXE p29qURQMONhgqy30ExcWixxPttlJeVaG+s/wmsdIE9dJt8BCv3uoiTHxp4xOrF1a MpzbUwKxU1EgXpxvpEyRDJEmnt5K4KbAVokU9nRUdSL4xFYo4PBjWgiTJ6G+9N4o PJet7ADceknnLNKMNIVdIZC2ss41W6T5eEoWq66xOr7UZkktpzIkTuPSZ16U7eh8 CdAs+8Y4wXvrYIaKtQbqVnQL1DoLdGWuycoH21sF5kNlMWBkx9q5jvZJk2xbiH+a aDP/vqaIORi9LHEQ1nuSbeVNzo+CuMptcUaQOShNSXz7P6jrYWOAvKtZcjvMGZb5 vBTUZBDHaXnndDYeguFGsgQeBiKX0Rdsa+TN9DqinIbTVU5O8/rmYai3lqe3ud80 nszHCj++0SLt+eW6xRMmGZTJpZAorE4q66Lq1CC9BS1Lhg9WE7zAuD4skeKHgu8j d9TSovetUqRqDHhU2hIJVppv2x4gwhYdhUTyt72wNiQkAkY/v5YTZF3VET988KhG l+hveI6nlUYGBLh0bmoEIUAisNLA+pUBX4y68SzQVqoIus2X7/fnvjqWGpjMhKnR E/duvtdHdnOC7aJeV5BwwPPo+3UGjHewGD87BCcmnRVK831OHgJtmuMQdi9xETjO Nqd9HZJZu8PBKWnCmvWQGw== =BW/9 -----END PGP SIGNATURE-----
pgpg3SaynysO3.pgp
Description: PGP signature
