Accepted coq-hott 9.1-2 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:23:59 +0200
Source: coq-hott
Binary: libcoq-hott
Architecture: source amd64
Version: 9.1-2
Distribution: unstable
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.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 4b69445370b381b6a348dc7623fb9f494bc5b35c 2044 coq-hott_9.1-2.dsc
 40b70101d53bcbf62aa7bf19e0575e61ecd63989 1184742 coq-hott_9.1.orig.tar.gz
 ee7241cc2c0935b6e149f2a5d64c514bafdb2c63 2748 coq-hott_9.1-2.debian.tar.xz
 d9ca0a6ebf249f39a171dd731b4b6a587a46655e 6878 coq-hott_9.1-2_amd64.buildinfo
 9699947af0af65dc4039ae93dbc87073df741219 15125952 libcoq-hott_9.1-2_amd64.deb
Checksums-Sha256:
 aa54408f6a9c1be76277a930058db95e079c9e1dacfcdce158c626767f2f2b98 2044 coq-hott_9.1-2.dsc
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 cd52d8f488a96d1ee456936874019c745c9adb81988bda8c177df45d52a52a1b 2748 coq-hott_9.1-2.debian.tar.xz
 6166f309877216d7f25984a1389b8f4aef6c54797dd88368e033441f5436cbfc 6878 coq-hott_9.1-2_amd64.buildinfo
 6644379cd0dfc5211a56fb3dfaa8b10e31a0431506a1adc21f6c11bc6e48feb7 15125952 libcoq-hott_9.1-2_amd64.deb
Files:
 d59dca9285fa9aa10665bdbfe491f162 2044 ocaml optional coq-hott_9.1-2.dsc
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 ocaml optional coq-hott_9.1.orig.tar.gz
 05ce0dd3e1dcf02223ecb4af446c99e4 2748 ocaml optional coq-hott_9.1-2.debian.tar.xz
 b815905a2cbfb75074cbe7b9161fb160 6878 ocaml optional coq-hott_9.1-2_amd64.buildinfo
 abee0782ea5516ba7bfca7310b1a2d5f 15125952 ocaml optional libcoq-hott_9.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodSYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXECEACeB79zH6wZ1NVPxN9OvJl8
yHC83WQfXeVpT1A805HQvKE1m3LqGd6ibzMkT56XCrR5xqDXYD8/9xJDCN9f6esQ
iCoXVv0CfGc8p7kk1ZbDGHNT6S7XGO7PAiiozCun0EaxvtlR5WRXIYGoL5hc/NpY
xA3zZVXwSWktbYXFYhIRm0lvRoUpVu4Z81Iw37P4LgfOe7/HJqEbMV9XzRzBbSxR
EbEas9UXxgVRKo7IXacPC8JW+fejoLSeGaULje4QzlhTa7gUzMojZlCx08E5iDgk
gdDwz4XRSPWLLmR/3+ChwHk4rYTaQjZU0JcMrXXr8ZOM62+yW0svsJzW/mXS+euA
eu6uftZIGfUIAGWGfJ+OuSeNItXTOLsYUdSl9wVwG4lT7Ma/DyPzDVmBjCu6ts3P
b4t3K/AQpU10UIpAdvUbaWqZrF9DpJ9nh6A7/uUQ2XqROHK1kogYH9f+k1ASWIGO
km7FR5JrASABDooUz3PkK7DKjbad7gux1a85EX6zG4moFVn4hMv4ITq3zgdoZbpH
GwuVvL8MDjLy2x1PJ+8sg2MIXbCDOtdxhdrmVji8fVF5B63YKhVeROQVuI46pHiz
9wfw6zyDLTkKG9G7Bhyn4BfXf/UVtjWKCcVUnCbrxG7HEjaxF9eFhjwEhLmqeQ/B
2dfo38MCaqXpzXBFNexT9Q==
=ULUr
-----END PGP SIGNATURE-----