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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.17-1
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.2
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-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 2076aa0c30b6dfef9dd405f807c99061258b9f1f 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 37938637f25bc78d13fdf500d043ff8362944f1c 2480 coq-unicoq_1.6-8.17-1.debian.tar.xz
Checksums-Sha256:
 a02448a7b992a09a7b73c38142cf90cd040667bc0ca9793b42b787ae7fd8b86e 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 ae539a24a4e398165b1dd41a237d90ad1091b1ead0c5c169223999e3ea68088b 2480 coq-unicoq_1.6-8.17-1.debian.tar.xz
Files:
 d9e4de2da54c973a2838ad2871e47df6 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 1fd485fc118786540131ad5fc456d9b6 2480 coq-unicoq_1.6-8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVzQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRo48P/iCHXMxLcBxI5uZY56yOCxAGIaGIKpdt
W4BGglYjVQ3jx/UIVNGy2qjoyso8giYOUmBAQereGQmXawm0K9Fivr2/6A/93n6o
+VWtm5NFxLG4zy4lzyPG+D/XHwT/bwIlgprN7YqEj0Xd8Dciat2euRz01WUDgzvW
+wZFqhZW7OsWrtyrtRVzMEM5Zw3JopsCG/xTAOZsQVLbmRMOgmsK3MI3ST2ExaMN
/7p6B4kaId6UCX72qROKvyfxVCtu1wpwVKJ2UqxuLHX9lpZ/WpZSQ5/VN8idhyAt
9+0R959AvCGL4/ysyI9Y90k2tcOg8nopfJHlhhvlBBklpdywcRAFFpwzU8tHkT4k
Pc2iU7HTN7bCc/2G/vULMEJGg+dFbUir3hmDLMrrnxzV54Wbg6FEx1xjBEFmc674
FhAzwnQ+UJ8GSx0UJUBeeX518+4gj0OtndvtynYiu55s8sF/LmPn2u7WZWjihQA+
ar9DsOjnZWUEdvR25EzjtnMoUKk8hR2fGssk7vWvLVAY5JIFwLq2rWcrNlEmBF/g
OYQGT3adLptLqYC/hIa1xdtrGqml5sjiri1DYHqeaxWY6TGKN5YMI+qqAYOt6SC/
68hN9iDDIxbYWQmqvf9sXXvEyOn64YbTu+Wx8Myeji6MxfyssYA0lQYHhqOQyOjf
rDAa4Wlrj+HI
=KDws
-----END PGP SIGNATURE-----