-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-2build2
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.1
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:
 bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
 732ec19f13363eb10d232eb418a8fa9b6aa3f26f 2120 coq-ext-lib_0.11.7-2build2.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 6c37ec205a7d5b551208168eae0d4692d316854340812d10fba16584531a9563 2120 coq-ext-lib_0.11.7-2build2.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 53be8277280139edb4255489f216116c 2120 coq-ext-lib_0.11.7-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudcEACgkQ808JdE6f
Xdnd7w//Q4RCsRlb0boZFK7/1kbYBlDWQZftAPt91Sy5FViplpqhNtUH0tSDlwl6
A8i1OpLBK2Gi/aw8AzMu81kAG16xp8HJt8ImZEpOO9LZkfCeXEDWCQGTd2lzc/rW
3slrDpKxhCe97JqW2tMhITnf4zPDN0pMEi+LIKWKc2IjJorriGTJaNOxP5VtBl1O
s+pJ91YfXy5gT95euXBTeMPUai8L7JE61B8vQ2PLY4+M8UIojK/ZuhhKGfJ6jiYL
jsN7uZV1ROL+eTUjeYwi1hngM96pVr8i6u47xiFG6vkWHY4YWjKzpY9TISBbq99r
+iBxu07wOJcJlo7UWN7GPB5GkPz5WdLoAiHLcqBigd+/fwQcCu8RF1pMu8CM4Sc+
Jq00NbpRi/c3gpMBQXnSKjJLTfU40THYw6W8AHP6vFu9VfK96gDkEnsrrJtMj8/b
OvF5cEfp8y+F6fjOO3eCAfN4MPi/M6yj399CEc/QWqkD9je2LrNtjfkku0gS8K9Z
ycI518z7eUvz0H0wVsBiVLoHnqdDvWeqZ5sZZNFJpj80tsI7Hd96gvCt2pdBafM7
BXK3/M1NzvJEZVVyULy62Y6yM/F6MV106A8jQgjhXPvHYZe77ssJzTGTIVa9DcnC
7SEVmJqgBPfkBIBceEKiXH4nU+b5wMe8/WF2iRonO66Xdwzh/8Y=
=enks
-----END PGP SIGNATURE-----