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

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

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdtwUoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeXdD/96gczl/8a4C7fMlnXgZjaD
Icls/p7rMalu/1g1rTxDZwoz0HZNy0dIL1ZjEcOfYwRym6VqlCb6Hg+Zi8G4CDxg
JtsDit7Wod1isMVeZMiBYeiJVAT9u/T5z/tDw1f7q1x0oaIrFpUs8bIDF/FXD6zN
5rmd1TOswNOCjOLaazVcv5weacwsYwEOO8R5NfX42Ij7cpvM+6ZEZYoFVLZhSYCt
hogaKQ1WM9ogAUuEag3ydZvUdcraV5WalI23+etzwRavf7IoT0JcEGkDLOetj9tB
oJz4Tr9/OpuHdJrk03BTdledZn/SK+iiNhIIU0LZUmrU4NPnn6ceXtdFiA/ZonCB
03pVPbqQSYoErmjty/pfWldDvGwTimV/kMbtEslo9ywlOEkM7b+4mSb8P3GTEJTD
IxP6Dyiq64U62Rl3dt8QBw31l9FoD/2YAySAkmD7Dbr3b8AMP9TklixxaFpFq0wH
t3eGRuNA73s6L6OuUpV2A0XgxiAExkZABdbdPC5/I5idTWSS3xkAvOCDTUhV/b0H
b9ViJXWfHdiLH863+wCNoxhh56VngYuWZ5W68IbVZ1CzZgAXvu38NmAihhvXgv/s
NVnKnrHaQP+RwQRt9ssnDQFVOuYHLQnVKIjesAnr30M6IICiXi85eo0cIgYiiYtd
W5T3as6VWZkX4NGX0vHXlA==
=vDXU
-----END PGP SIGNATURE-----