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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-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.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
 ed7435b0d4eb90a5e6509d48decf18f6d69dff22 2452 coq-ext-lib_0.12.1-2build2.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 aa3d50ebecf36e5ed97f85443e9c264f5df96827cc064b070f7c5bd69d60b664 2452 coq-ext-lib_0.12.1-2build2.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 4bb8e9bcf27a39eddff02c4531b52cf1 2452 coq-ext-lib_0.12.1-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9okkACgkQ808JdE6f
Xdk5lw/+OG5WCaqAwSPVwqdZ6L7oWZH2QfEwhuYrkL5nXJYIHDWSoD1mda6/lSXr
pdhcp3HUPx1LmGbfdkFAT7mRwjeaj9xT+fSdiwAtroTJhdGBC8xQMzqDn2ZwZydp
Ul8sF/5PULgQqwIuVN7rNOMEieAsVTNFHMqVitK6+NCG4gjDgazVtu38H1fDV7kA
BledVxBy4nOidqMTU8AwU+cIDlaWty4jBfAnoqfwRHm/Z3WhKXBRkqyP5VFi4PTP
NUiD6q664ay/nQy7jv8MOSJ0iKrnlqFcKWovAZtOzWUl0n60ZGjT+WIYr/KObsb4
DWooqlnMhXNBhnNAmJtnprzP03oP+8Kt+fkYHn8mu8lTyu+Z3aP8zWsXamGybHgf
cSITnMas1NUuzQnqcK26KBP121skpPWmRWWKYxl7Uu9yW57WhsDG1gxMPI6scqS/
gyIyFo3cXLFi5no/Sw/k5o+o2WWwLl0X1SbRe4TL7M9bXnIQ50nopEGWvxaEoXYr
45JvPbWrxc7uPnXNvwHTf7zZlMwwYe6R4jm9i1v4dgGDmGb7ByZg3xWgq//fjkBL
QF5UjawjqqO8yRhLv40aYRFp2FWtDhtmJ12LojVlNwzhdFJfrfQ5u2319oJOwQIE
K83QAXE1V+yF0ia/gck7Lid3kvxwP2KsD6p6G1S+2AnwHwcQn+I=
=P1RE
-----END PGP SIGNATURE-----