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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-2
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
 5ee9898122d156fba696ded6f93cd2973f06d7a3 2328 coq-ext-lib_0.12.1-2.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 45e260bb66dd8b005d2722263fb2ef93fbb5019f37d497bdf74d1c23c0d9acdb 2328 coq-ext-lib_0.12.1-2.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 eb78967f75c80bb637ba467ec9caee8b 2328 coq-ext-lib_0.12.1-2.debian.tar.xz
Dgit: 1a2728603c106877a0e7903b16c671f5236ae34f debian archive/debian/0.12.1-2 https://git.dgit.debian.org/coq-ext-lib

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat4kESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB+GcIAJu7Kk3CCNPg5n6GdEDZzoemmLhyBWTn
44NSkE113MCTew7nTXvSpRZWOwY0oTZlEL7e1uSj2zWUqoUD1hnriM62D4st5Zf0
Q951NEsVbvGDv5EL747Y7RWTO7ojwU64bl0rLSE1Q0P36Vr02I1Pkg3NkMKcwyGy
blN7OhCsk9PFUB7UfAO2/9IuvBsp3+z8UfcNr5WJFDfrQ58D+DHZG/4ZiwaLkUGc
95CCPR0+N5z4l/oQlGxl8INQ4ZNDmQX/rJ0wppnXqpBJfEkOnD8dqJTLec63/lYB
+VuNUlR4gGYTO6XvbWVmUef9aLXUTnoBhsrz4umtS3jMnyCsLGFc0lE=
=DXYL
-----END PGP SIGNATURE-----