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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build6
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
 5a9b8681e8ba05ede85ed9fb487c0877987cf7da 2600 coq-ext-lib_0.13.0-1build6.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 0c5badfd036a1285fee6a3f7847086f59f6331491bbf00c11f7a51873964ac19 2600 coq-ext-lib_0.13.0-1build6.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 cd1c4625842fe566a34f50ed91e22a6a 2600 coq-ext-lib_0.13.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s40ACgkQ808JdE6f
XdlN2Q//Sz7SEta7Y2oGGFMRgtWR4iXLOrZIUySBY64lTTWu8vZgEFd7NDlI5ywC
SVaNvzZAnf8yu13UJ2fP6jvnex5xT9tmVkFgbIybhrM1tZjU3ItqNz87s9IpBF6X
XRkTfI0yuW/SjbuhdZlZByHpn4P9dBQ578x64UicTDkENJOdCenbc9L39+7dN2jt
Xw7Y1sMEj2lYbywvuDbddFKZ0AyAXYTao0RkVaeuthWnw8ZvxeKdLXJN6cDn+qOK
YJVO5aeW9FHH71D4homQf7svGFATyyiuePp0hu6kOGl5fw59RgPw7Jy26353v4PV
Itwozi+OTM9S/1IdNXzdJNr9GKmrr1O71PXwdjFKH7BM9C4pJ/GsmdKln/q/Do/s
MVDDjEadEyZ+4Eh7vtyxx3imHk3FbfhzjsgYntb4dl2o7caDOy36Lu5v2HQbOaqI
ryOJmpCijpA181mU6YNKojLx3gBhulhGmHdgk/9Z06Xk8w7muECR116HX4urdNO0
5f/Ky5zPB/Tzxc8er9QG3XwybLElYY/M7HRK1pMubi5CKJgNcbYv5o9LzQtNN6Sa
xFX7sNWe6z/hhgj2VLfAkru+OpnzGKJzZuT192Y5DSwuJut232ZbxkyiS3Z4Z12d
VpWUkUvkXZBfCfRtSNWhIo8f3XG61Nw8qHQPUR6EV5IVSvVD7JI=
=x/I1
-----END PGP SIGNATURE-----