-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-2build1
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.1
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:
 bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
 19b2a9b39aa35283a1ae946aaf68abe4b77c8276 2104 coq-ext-lib_0.11.7-2build1.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 821ac0a24a99270455d7838412ff82f055a4f4b130afdfce405f6af872aec1fc 2104 coq-ext-lib_0.11.7-2build1.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 94c92d5fb29bd9ab2dd94de9f410a399 2104 coq-ext-lib_0.11.7-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeWIACgkQ808JdE6f
Xdmz9RAAyVP32CQNCbtXESWVyaLabD99teH57nJBK3vVlq55o8MOENwfV9zcm+35
49BAeLjWJENrK0reF9abzc6UaUYdq/eISWxnNDfO8RZ7oUC8X+RT8vSszD+cELd0
WZybePwgLcHfpHjqL/moicIDPzerzcd49yqr2g1LcJ0lnH2UNJcOx2oo4HaX8ZAr
ogXCRZo7fBJkBC2midDxlAO0CZShKzuWtM8BF/eYEdAv+wAsZ3vLhHkCRq7iAoZO
eWn/g9XsTO0efUdnvMjko/Utli3rP5BS0CrqI62wDyiAn/Hl9ujKCZWN1qDuBAOy
JjiMhjKHGuY+q3z7FRZsUnnaKKzrcIaeY7wYGQ+yFn/P0bHtp3b+J16I3Xzb+i3q
bE0JPizVSIG7v8JFKWL0BdMzDXYVeV/oUTcTsFA7TvX4675z2USTAJHoMF20kDkD
6vk3hVjKkgS02gFtq1tljtMGXrZk3qwVaFK0JpMllT7QmR4wN+OmBfmz+I8mgbiK
n05BMdycWRhwXg+2dFmGA+Q9jR/keLcq1Lk7Qgoz+sVB9rrSf5xxwfZHhCtHDMAO
R8xxtJFkcYbxALkSVKvM5z3+K+3/+vw1yY9bCdNthDmuUOhCnK1JeNUpkt345uqi
o7Xbxhz0a6YS95kn5m+R3R0/WeRjoSPwX3EMo9H0AI2t1agZqS8=
=23py
-----END PGP SIGNATURE-----