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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.15-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/HoTT/HoTT
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hott
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hott.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 aa6023cbaf0f14b02b1702e885a133c47c69e0ee 839986 coq-hott_8.15.orig.tar.gz
 fa42950e2d1ca8fff62b253ff35a4d286c0b9c47 2472 coq-hott_8.15-3.debian.tar.xz
Checksums-Sha256:
 d981860235adccad972303a531daa228f449ab1843104c0337e970cdb0f80c08 839986 coq-hott_8.15.orig.tar.gz
 2ba4fe6b644a31b18ef487a0d2c12697a369056439310364c086f8a798b801a2 2472 coq-hott_8.15-3.debian.tar.xz
Files:
 e44a5d92769ba4316a2bbb02231e35c0 839986 coq-hott_8.15.orig.tar.gz
 980147289dd36bd1a367884a022505e9 2472 coq-hott_8.15-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSk64SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNuYP/iJ3fEnnIusjE6xhVPKXwSy7afJVfrZQ
JWpdVO/5Y/4VsaWgt6QkCTqk5Go1if2spd/lTTOFDn1c3usbpB7fCp9A1/7bXL7i
N0v0HXEvNa/iggaS2l1fD9Iw4isaip0UyT7oxHcyRqaZ9CNBGJvAT5wpNjBkRzHY
mxS1pAQ9I3+y77nh8zA3KLrxacuAzD0H6hR3Kn5WDt8341ts4pXJOxhl22yEhNn2
CyMbybGtjFrVj40x/4q5HXZ1rAKEhXRZkV1JbkNraVo0GWR3USZ8OeVxPIlCxz6q
0paSPzEE+ytaLBy9ZUv6K0n3/3JMufYsIG5Eqj6atUuLWFIpg9+YLmNba27Pavw0
hZVUKfKb5MqCO5wNWRrqPTA9Zm341JQ0BljwYY8eR4ceR7g0O2UX8FfQKIrb1mE1
xWnfSuHd5w5VshxjgakkUwbX4ENfu5dzfkl/0tNAEnNVkRXD0wKP2ztrlhmWRNNZ
SshUPxqZokmiOSOes4m5ujPFMhkixwgI1vnb3WnBB8bnUrsG4o0HqCImVZJ7qpCJ
jMyKqwR2R9lAXOaRL1G+JgRzw30PQMOI8cs5QDaG8xQZPoEE9P/5QF3zuDoPAqa2
9OHsvTddSBf1qJr4VhEuv6FBsMoi1hfXEOI8IQPEwr6AaUoPT/QThi537BVoRi1c
8BqNq1qZVGZf
=WX9g
-----END PGP SIGNATURE-----