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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.15-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 97570081a701204a3b9f169262696e42390a37f6 593602 coq-unicoq_1.6-8.15.orig.tar.gz
 9d4ee7bf51ac649e3e950275635f1070c930b0a9 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz
Checksums-Sha256:
 1eee8a6742b5ccdee23b3630c74a0ad6206745af63f2fac1a7d0d299533edf63 593602 coq-unicoq_1.6-8.15.orig.tar.gz
 5e708f4d7c24f4290e269020aafd104e7e7401031869fbb3cfc0daed640b2278 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz
Files:
 016e0516edc78290c4b0edcf5fac31fc 593602 coq-unicoq_1.6-8.15.orig.tar.gz
 78984d882dc29477d686de9556b796c8 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWWNwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRimEQAIG/tWIodWB2YSPW5k6mct2L62Ix+ows
4Uwxoe1D9feEq2Uwt+4v+ksjrFi8y3jJbes7qZ781v26Fxj/n7MZ7pGmW4LWhV5q
hq5wY1XkaN578ejbF6UTcNKnymOjD9Q64wav2obkVffdWO/dcDA4Ic2f0Updpcns
ybuCIlKz2x6elZiOJkYNYZpDPHVsBTxrFuZD/F+fmwqp3abhQDWu6U6qovN1bX8K
U5TjnAcqW3BdpgvhvI8ByipFg3NrzBLDvJ/9MBeN3oTNKyAvF5jJpYIi4y9KOlum
jwf4GWNESoIyDSsUOjyYhJXW1Ocz/L/1LOXERN+69eaw5aRyK4LyxhYbys8LwH3l
AQQlsBln05swnNO6qvyNX4VB9z8tDD2sETbzZixUpjoaIg4aaNILgP+7WsAlRVom
ttU38lfWxcgZgWudA+3qohxjZRNbvTrql3bCovXd62vnfKh9O0Scor/PP+rsx8cB
/Uxb7YYsbm6aosM7ZMdsTxobsjWS3r1CP2BXYkyNs5cKGi94+g3a3X5SLzsM7Exw
yYG5QuSSCCR5Ey3CLSdMsjjA1e3EjsZ7xTEh/Qls8sZuUnMXCWB63TheNxhXKFAK
M4p6ukELst6uSieROF23zfiP/ZWZCRi1vqZ7qTMnKqw9ed/AaWl/ZUsHYCYJjMvh
kSv2xkrLB5NW
=6/+g
-----END PGP SIGNATURE-----