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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-2build4
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.6.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:
 742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
 cce84e16b3734bde9533dfbedea8c82393fff4b1 2512 coq-ext-lib_0.12.1-2build4.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 96d1f4d5ccd1ac935762b8b49a2ae1bcfb59af2619ffc975ac623d103681fd2c 2512 coq-ext-lib_0.12.1-2build4.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 0945b59e21ae5cb5f24d6de298f13c5e 2512 coq-ext-lib_0.12.1-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZKgACgkQLIPbyOm9
DjfoZw//YF9YiDC3GgTiabsISZqUWi98EkDtjyMsY2oL64NIFotUzTCOopXfTzeK
DE1+QRkicNub/M4fFRdvf6fTJJp9qu48YrTaEjGzg7N5Yo5t8HhXpTSTKD4zqkor
YdG6oh5EfztALiUyUMYWU3N5OEJg2wcQhEKsd5mvXh8E0BLNBZrFs9bLyp0Bclyc
ZnMD6SX+VbN1oYfF27QPyVE3P2SDTALgi95sAlaKirWGpLweqbRJkGR76GIpaXKe
GNhjt9uNkbQ+WnLIxI+w/zSd8T6HSYT4eq4czeEj1xgEg9ViP/dRj0c8XyBD0a9H
mh1K4eHyqkjtsMloWlP41LSxqN7tfkco6/XjO1+WQwzGY1eHwwmdYUatFOInsprR
lkHgjWeVnpe+4zggVJxPxiOGQBRDPWLxmtJImtBWZ4wbLqmUkPwhBoJIvy1+Hu+C
B2B4pVkrOErh1b/wi80tmEuwjjtrUZN722/gbIZd0oHutMHvCSMkvK9PwHUnWA50
lMgEdSWUr2E+0cbeOL16Y5iQ+l/FbDncT5ZlHIXSRVw/S+gtpW4E2wauPHLeQW6a
ItusuUe7LAuu14IpsVroSjYncW4jb8TfCbc48gNgcpeh6e6jIbUjZdltTFsjz7jG
3KlS2UdPZnZ0QtuaNGVlfW2MIy7LYsuPcT7xZwcMjUq7xGwnfhA=
=+BDG
-----END PGP SIGNATURE-----