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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build5
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
 cbe0b669777170ea3bd4394baadace1dca129704 2592 coq-ext-lib_0.13.0-1build5.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 cd3fdaed24e3454fafa04e95f5318ee862e76132e92b3b5226c03d709179c1f8 2592 coq-ext-lib_0.13.0-1build5.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 dac3f76982156555267c46d9b0f82e16 2592 coq-ext-lib_0.13.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9H0ACgkQ808JdE6f
XdmevA//a2/yy57XfvRCbUYzjXZyPD8syesn4KywuxiCsg7CVsxzXRPLwaI4Cp1a
yvy1Au/DCT/VJFacHbbEXcMY9AU4cN6A+Xu6C2d59iMXLXr3jadRnH8ePbPFJ+y7
yCZnIsrLBVFCd8rZxvPVllG/XPeVJYIUsWCOJrctpPUu3FWbnzupGW4t8ZmWPkG/
v6Cq7AS/1woSqAevzGHOCxZu85RYem9MCVld51Ls5QRVkYE7k5zKSnpwEdGUy12n
W1Ru5YkofGXIeWAldhzxqHG+m8E9JU20Y2TVq1K0VtdjoCSZld2tnRerRVmz1RLb
1n7WDAimakUhD6Ke/OzFAEA1QURmNj3lt2x14D2OShFsp/9ez1UbwNvi9t0TjqhG
+nyqLsDuvB9xyH7LVeRTFvYoGmMEJaFElyoi+3Bc2LtYD8PJgA6EYxS3j1Om0vav
pcHc7Hzbo83O+ShJ/OUwJ5edig/W9PXXTKab5tbVQ0xta9cqfyWGwME5eVrZS0wE
x0Kdhnb13Ml5AgZD0co/eDLSiLhRczYnjoqoRh2RAAkRM7TCF71jvf0sm63GcBCL
goksCcVH4hLX7Eu3YbcvSdS6MaMtoXHMprbFKKYF1BeQ0hc+F4bRj/COGE6RA3dg
XZB1KFjqEmlH+k2OPfGp/HD1pt4axArFeIs+4tPdC4lVnN+ycJw=
=y1lK
-----END PGP SIGNATURE-----