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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-1build3
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
 21993ee74ed0a14262e277aecb358b60511046cc 2364 coq-ext-lib_0.12.1-1build3.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 944763f017c8990d0c89c9752943b523e471c1d8260a3cd62c09487c8932d454 2364 coq-ext-lib_0.12.1-1build3.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 ca436176f8edd2db449873e45fb6d091 2364 coq-ext-lib_0.12.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtploACgkQ808JdE6f
Xdl0NRAAsmHtjKDOpbkpHSivFSLSjw/BIaBqRBwb5w2VHY109tjMbWP/gxOTzwRY
21ln1qtoAx4DcHLMD4ksXOrjlodJmghYAnQ/ExcLGduA/q7KK9p11T64IrGYNrCa
aZtPwKs3qblDs2AhYZqKvkvxIRvuU5QqIzT51fTLdbsnPIMWCm8d32+SfSnCAVns
KOun1T2vfvFHSc93mh68kwIHOcihPRoUJYX45GZDMKTHIbRTV2MSOZEiZ/Fd6rJf
1AxhC5IVAmPJLrMgJ3dfjo9i8KZEe60e52BEwMFxqs37FQqkLVMMJnLT9bFmQzYH
sXlEWOU0ScSPSnuFDm3JE9qI/XhzPtg13oNZxKDSQem6B3X6m0IClLHMOiumK4rs
swXEVuW/hDsnNcIr8ZA+xq2oJjjOvh6I257GfPfO4bEqYIDxQK1Ew5wdaWYdTuye
2T0h6NnFzX/hj5oYXcCquzuuFSO8xbq1TfbPgzRSaxfxCbV8t3Q0V/WrMhsBqJZi
M6YvM9avL56nwvo+vnXrUil1EdDhqp22nALbDvaTFL6eUBgp0d9ENK5s9QkRhp1q
EV6a6A6uuAJ1XjnxV6GRQBxBxb4jPXXDRiYiVS6r0FsEct3JX8ZCLINIt9JyMjSj
VQSeUZht6LTXK/1Q4EHSzfuHN35IB68a2/ageajNIki9As5OSR4=
=KzU1
-----END PGP SIGNATURE-----