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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.8-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.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-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 8cc4d7296998abdf7a3dc300442f859919301d88 83119 coq-ext-lib_0.11.8.orig.tar.gz
 241a23f894236b5a8f30a935b9c79423e69b398b 2072 coq-ext-lib_0.11.8-1.debian.tar.xz
Checksums-Sha256:
 d1da9c8ee21bd29548804730b88bb7c2a6b29d3a94a12aaefdb2ab323cadf4bb 83119 coq-ext-lib_0.11.8.orig.tar.gz
 24160b0acd98d89ceee28964b6c1ecbf72ef5ab3d7ea48c631749476e0ccac39 2072 coq-ext-lib_0.11.8-1.debian.tar.xz
Files:
 5f5baefeb5f89f2185e132d8166d1725 83119 coq-ext-lib_0.11.8.orig.tar.gz
 85fbfff754251d2e1c0e79c5457c5447 2072 coq-ext-lib_0.11.8-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVhMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB0EP/0B3HnKq80CYUN9ke3DHVPnhKMFl7JS/
ineWBurRTXCj/OoKfyUAb3U7wd6ZiiWGk2zra6ig5JxWmUM5q6kjlpuJWlwNOb59
o+JGMeDT94BGYsnnn3An7q1jKi+IuA923VeAiT3p54I3A2aWwv5zApsiONFgAm8A
BOORJQxr5kg0hA4NJuQINZYal3YunTMTGByPXYa/UumPnafMqeY/gEYTTiwcqH2A
53jTdLhRfCGlhzR5oMBUY4BnrtCYZ6Nk3g8VhzaV0+NzCQD/sy7PDRpLInC82PMt
vXT0hgv5AF5l6fOpuzuvqvBWMX/AbQ6xAl0g4YAgjCp36k13mj+5EcDlz8Xpb/2x
2Gt6chk2BwT8OCxRzisJFsZ4tRRij1hk/q9IO4xsM5TL0t+l1ZH+CkHbD3ohleK2
5J3fZYbel+MvzyQnHdBBnQ8jOBBaU8tI8nAkoad/t9Lhsljkw++dwXuTADZe7RH0
aiT4YBVldzp3eP4vnrwxu1VTH2B/nO1sT0Up2f0nFuO9DbECix7/23nSEQdiAcWI
Zpm7e/HHEjnF06p9SPMeHKaxjpOnEMk/7xI6Zj87FLcLksoW7w4lPczwkfOY1ob3
zup4fbjaFD0cQnwnDOdjLanVG6u/ZsHblSy806LGNGXIcl1NUJMPM7zZkRe2wWcu
sWiwcZFu+bae
=Z0gQ
-----END PGP SIGNATURE-----