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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.8-1build1
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
 aa6a02164698e9d097d3c7c4f9a2b53974c7e848 2140 coq-ext-lib_0.11.8-1build1.debian.tar.xz
Checksums-Sha256:
 d1da9c8ee21bd29548804730b88bb7c2a6b29d3a94a12aaefdb2ab323cadf4bb 83119 coq-ext-lib_0.11.8.orig.tar.gz
 dd901c37b322161f143d561ebfbe65c2519136fcc95619a43b00481101b21455 2140 coq-ext-lib_0.11.8-1build1.debian.tar.xz
Files:
 5f5baefeb5f89f2185e132d8166d1725 83119 coq-ext-lib_0.11.8.orig.tar.gz
 c4b5d24a26e90b1955a761d260d8e20c 2140 coq-ext-lib_0.11.8-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqtkACgkQ808JdE6f
XdmbuRAAurrfhtgkKsGhGF4p7OwVWCgvRvzMjQ+SjDFdQ7OxwqH1WmRRLvAuMgR8
UwC5l7fSpev74qe+V89kr16BdCBY1t2cQEoXfxIlubDilqmRwmOqg0qY8VoA8iD6
tdJSV45HA2uGLsDQpLGRCO7qCrhN9PG5QpFwYPe9KHfAmpRpkfWYjVjU+YB3Yhv6
OTK50VzYiNovR4dzfBNNmL3iuSHMBUzEE4yvtQN+3m/yFE5zv5XnUx687/zuvw08
PQibm0HpSGqy+pIcONTimEI5DIuI6iYJOaFlA5YXLG7EHTiWxAnbKlyyU6D/Xz0c
SRYUlg0Zm5aGWts1AAsS7DMVrZha9v8Se208c/m5Sm0OdBUHKszpxnOy+p15yhNt
Ryr0RnKUsiPVHzQ027636WWvuT2P0+EOYYFDcyJ9zADsebSgVZfuU93ItRvLkMP0
L47OpFoaObUbq50tHl6lvfacXmL2I5lyHEDotWBoz5jdznVfI6vrRVwTzhLBtt4M
PHUGUSrI8HHWPP3kA/OV88VXDR0iERRKNk7YsTuZQYEF/XdRpr5OoFmqxn7OqCQH
2oGlZKY+F5cRFsf1XFRIi5CksJgTSv/KyDD0+HhPgc3zjlN6qcpswQN9rjhkdUnE
67fl8lbJN4haFXDfxN3TlabY9uw7NXuugIrbbHoPjuHhiXL7ORA=
=b9ym
-----END PGP SIGNATURE-----