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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.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.7.4
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 (>= 9), 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:
 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz
 b3edd270a1ebb6e24a8bfb39e48fb03c73670876 2672 coq-ext-lib_0.13.1-2build4.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 6bba11ca4c08b19ed055e672021dc0fc43d4f314a0bf9a52824730151bf2af4f 2672 coq-ext-lib_0.13.1-2build4.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 fa33fb2b45fd27b74f33033ea67c8761 2672 coq-ext-lib_0.13.1-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAEACgkQLIPbyOm9
DjdR6g//cmHeMfmoR9nfmmVO6YZFifY6Uj51AGH15DrP6UkOuMq1OwReOzNjgGN7
lJcN6yuCN6yvy2RVbLbpRwMrFlmqezF4uHZCAyIjZLyBdlrI9ttpi8iL29KsE6d+
0KFAtaab+sahKYK5gYsuShjp97kE2UtfS8VrCOywHbTJdZUAkykfNxEKhyqknWiq
5x9J9wJCd8aaVsqSkHd1XdjFCvtHlwKrj6YdkrmqxitiEJ8gogubcZ+WwnB4CTCb
VX++29vUG0fBVmuO1McJZRyUQo75ZJr5G/DhWIjZIsFG3HZLAWBvPkmpcRgCqDuq
BFfaEtRhtSdrmIwv3PzlEKa3Srjhl3dH/xh+HKR0wJzSnaH5GmOuun8gu+AZl7gF
7RqO3gP7XxzqF1Qgkcn/yoQhBLzl/K++FFcZqtU4j0De81vv4aPbZ/5MFGlqAwoQ
/b6JA0PxHuRAFUnqGSfucUqA50CWC0qlEj9h3+2zWZnxrYFD7Yr36C0/FNECrZ1S
tw7wDIB+bc1LSZw7m38Bk2oHeTodpAnFmETiWhZlDEvLx5+CNTRSgXmTJcPgghKS
9Fwsw9K5dSPMJEnmw8wjsoCP7vOGvO1IxAI1ZcF3MiwNLAL+BIcUlLG9ulMFyxOH
Qn+j7mRYO+J6KZp4TIZx3ahG7D/aQy4sahp0/NKUkh56sdDRcYc=
=f/WX
-----END PGP SIGNATURE-----