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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build3
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
 f1d8b033b425d821b9998ae015bf6d9f2dbc6b7a 2540 coq-ext-lib_0.13.0-1build3.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 7f29c155e33d4e8df76c341fd1c0148933b60f3c9ea79206d407aeba650e5c61 2540 coq-ext-lib_0.13.0-1build3.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 4b398d41fc15bd9b303aaed93f9d3bd6 2540 coq-ext-lib_0.13.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme059QACgkQLIPbyOm9
DjdROxAAn3uWqJM9zit3wJ0qaKGd9ywIdroPW5Sb8/Gm2e4LIQ1Hq20x3KDr8AjM
feAiBHeR+Jhnu3BAhqu2eagnYtE82DkdykuFtOKcWLhtL4oD8X+fJ4hU8JMR8hKB
Gz9z+BhKx0ITPTzHwS6SBRqs5mrbLikZix3lIGnO1rH2NTcEkQZcYIVhhrzmyBD4
IDr3J7zVZMfaYB5hIFVI3xrg3Ipf9KU0BTskAQy6lD4GIvokXGqJIbnBRmERGup9
DAEo0gHqjpueamedwa5pXc5aomCwSlXm+Odo23MOfnQbG5KT196NecnWdo/C9gaW
q8FBIs/HMSwUl7TH+E/TNcAEM4IgbsBcoerI4dT1cefwDsRglmRkW90UDH3xi6ST
dkTK1pdPYdJD8bBSkXM9N/w2jzlO2wswRtw051snC52+4D/1eJGt/MDE8NahFlha
hRPFg8tGKhEpEqtdXss41wPgNE1xOvXc+FWbGBHn5C7DECslX04Bxtq50bm6x+cJ
r5LwIngBzvOtyHV4N+W07JH8N2yNLntJ+78mgFGo623qtdO5Ke/V41yPnsUbmreJ
TQdRs46LNNt1ACcf5XEB+43rTRocrDF99qksNeq/cuNReyAz0OSZkJtzxXZdfpwZ
pkv11YB38ftNhLTTzjP5CUpfnwnm6Os3MRh9CerWCvU3e796rLI=
=M1KO
-----END PGP SIGNATURE-----