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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-2
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.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:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 dce144af8f1ba5d3b1d6e67e165bc8162147c6ee 2420 coq-ext-lib_0.13.0-2.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 5e57899cad54074afd8caa0f02486c8000c3dbd5bbb028cd01a38555c5905ef2 2420 coq-ext-lib_0.13.0-2.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 0a9b134ed6233fe0cdd64315765ca15c 2420 coq-ext-lib_0.13.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkByrMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTZbEACUg9FMAZzVx6rhDw6bkLat
wmLEgYuwc4qCws6lEB3lmPco6lmme54wIb9JnxQ6eVVDPBeBGVPo7XLIG4zGbPMb
qnh6ucEjw0rhnry96bCsfcM0e+U4GH18c+PoUbxu+1Cf7Q8BthPd/xLcKszL+rm1
pmlcNkiHhDJac+vof6i3V90Ak7uTd8lvDzWkOLkfmlwrkxnUEPRt1+soGRFkPrbu
4GnAQpdam3Hnq5p3TzYr2N8AkI/ED0RN93cHssL/GfKZQIM5jFZit+E0QWQX8tkq
2OkotezzUxTUS9k1Cr4lAV2F9G4kBqNMWqmUROHTM3Q1rjFC1zME+UfBWgnOtknl
ROyze2KmuRNHOqLFggh4Nw2UkEyS7syDRdem2UIeGylUj0zMDGcA5gTDEC0O+m0m
mW9zoYD8/exycYkvJYBQPCfW1dl3QRpro4PmzqO7oDkwtyBvX2QIwUmv7d0rR4+k
26UHbQktEb+eBDZcTeHedjfcl6NrxhjJ3N9G8LCe//C0GO++87k7L2ls6v1zjeCQ
/pqu4Ty4WZclXaw7QYYQfz9a7D+Liq/x3GMfHg+niHi/A7iRw0IEtaGDxl6rCkzp
LxZsLNp0er0aU3z3jzEObl/iKKwKC0i/DdCQz2jQdW2QnROgNUnfWmApBNnGtj20
KQLQl+22tfSIFd3WmhFt2g==
=Zrnb
-----END PGP SIGNATURE-----