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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build4
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
 885f6a3980d986e9fcb22d5b48857cd741b9d370 2568 coq-ext-lib_0.13.0-1build4.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 cc80e8086d32c3ab2ed1a497871068c8c224f4173aa72a5ae41336b01ef280e0 2568 coq-ext-lib_0.13.0-1build4.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 52792758e214a6072766cb7c8da88d01 2568 coq-ext-lib_0.13.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRaIACgkQ808JdE6f
XdkIQA//UBYHKmFEjUIE2Z2nFBvbdAxg3gnpMFiSv/hlKAGGC9QVrNwsrNfjbYJg
QvD69nGcrKcDcDshTeIr7vwWomQBi6gWjTXkCH758+HLSO5iSX2F0oRH3iz34DPB
PcL6TVE6rT8UNT4OWmrZf485EXUh0FvlCKGmuyajcaAuHcU0LBYssXuo0YXgOx41
DlBWqwOh9Xg770sSFV8UB8pVDBdRXC25NfcopgD/rlkDzvqfxo9nTCMWYpCXwj6r
UpHldr1QIQFqDF3C+fZ68YKhVvYaMEvyizBEvo2IPZPDQtfsB4NQuSQO8+ybXdMg
WVKLP7H0XLeA4HuvjQu3h8FRJkXbpPjwdPFVChHLyv4+RztYHthpkcmi6G1WAgKo
L7F2ZRYcW/Yfr0H3xCHm25EeKAC0jAeS/aY9gb+df10i0eGju31fO0roVvCBxttb
wA0huyhRoBVQRhgXqs8C2LBuU8MsMLiwWvUPUW+v+u3tAFYeGW1t4mbdSQKKwyf1
JnMGEfOnt8w35SWGe2LI96jiD9/6TbHVZE/8qmISVlVrng/Eni1cwhTSrdKd6fNo
hz1hfrOFlVOFYI5WdQjqzwnFGzWb2VXfVLHr45JrdXrQdQq+yqBzpEuD0SpFW6OS
vNKzpvnx+3QyHBLX0xl1+iStLhugqw/x9XaHjUWqHNW5PNeNMlQ=
=CMyH
-----END PGP SIGNATURE-----