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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-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.7.0
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:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 ef160b39eacf5d1095bfc36127da77410dd703b1 2444 coq-ext-lib_0.13.0-1build1.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 a5087eda4cc37f8a9583cbe776c42b3cfcedf8bbc389fdbfb203e4676555143d 2444 coq-ext-lib_0.13.0-1build1.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 a8a060f2326cb57930dec90a2c40eb50 2444 coq-ext-lib_0.13.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexwEACgkQ5mx3Wuv+
bH02Sg//eVPY17huwZrUw0sphvE6e/K9cUgA+KdrUYHzaF2w+c9Z/TaK66Zl96m+
31WZkkmS/XLNaAKSKBKj4q+5bmRHVWCOHDVgCIxWQMfO6gLGYA4vfeavhNSaEGP2
+3Am/07Dle8tFc5J0fE+oZ3Nb1FaXDLx0cYQkSRpqtGFzt/9YW/KhE+A7Q83RqHN
baHt88DngQP7l8MXhcl6AJz+4dx+7kzQUzrA53cJDHmhjAdepWbn4wb6xHc+M0kb
PB9xKzfLjX5FxRjtNiUsoFfQzaLPTjD5joXB3I6lbv7BXpnI7OKbpwUH8TPelyWk
aSWk7e+NjuVrF/Hhk01GTQwzF/Q8tE3pXnbYqzEOj+fnsBBnRFeHWfvU4DDUjMXQ
plAnpi85J3qJqOzl7Qek5RdR3v/8/fTInKHH5d4PxLAT3oFLPQoqoDX2UMsZhTZR
N6UviwwksEpyOjUDWsGJwL4RQtyzW+SjxoaoQmoEF02EJx5Vm9AFaFYq6tW6jNnf
PALs1vpOvyTZGeM3UoR9H8oRg34vP5NEv2XZ48t9OOP6omUv77jxZIuMgRe3Pjcz
tLXM4dqBclGwwNbSvBeZc/Owp6S+zWzI8iehedajy3tCPkeALrrq6jGBRp8V0sV7
hMplE3QEvXB4pm16+/XdODZ2QTTMNRJypmxvcCyh1Z2tHQ1F3qs=
=7iJ0
-----END PGP SIGNATURE-----