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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-2build1
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.4
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 (>= 9), 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:
 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz
 984b2a994cb71087032e1c6399a4305f8e04d8fa 2600 coq-ext-lib_0.13.1-2build1.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 ef400b8c45f4d3989fcffae9210b2f6912eccf8bd10ad558d07de11fa49fce2c 2600 coq-ext-lib_0.13.1-2build1.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 fc9c25e6a309e4a570a8a19da5635441 2600 coq-ext-lib_0.13.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQpYACgkQ808JdE6f
XdkKhg//YtPyKnvUbgiUyRuhmt7DNOvbSRG8VVTSHDS9obnbjlUZAw4x+fhEHLX5
iWbt1vhSnUmEGy88h8/K5pgFqKRrizD841WmsiTd0380louD/WdYaYMc6yy277x4
f+G12vO3LMpWUppBFHwqdnW+C1toUceR0u+8TNAeDlIeMG85Kx7ADNkVJNM6kGJ1
A6cr5sb4Bs1PlNcGlKm1p5XkMrT/V4CRDCViOks00wIykFkeMC7L039S7koiVcHT
+Oiw16RNZUJQPp4O3Vgmlzw6ciZOAV7Lrwbtf2CjU80+k/KFV47f8zDV1/ia7aSo
Yw2EXFOevbtgo+BTZjKGUbSMMIoAsksLhDsFXZ2lGfcyeaCICyg+2CEyaGYUxnFB
F2r8LnMIvlGrB22/Y4DTMBNPVAtX8CM0yAtDQ6+TvxGl4wOoGs56U+JT11ox1Qxq
oVWMRlMCUJh7rix2fFDgKONbm+nw36LB1QIcN9VGUkZ4Px1/UabaRu60YW8CQVPk
wsNk7iuENyviHC4tdbHyjDvgfy6Rx3F808O1KcLnWOsn1vI4537XZzR9quGaRZh5
cZuGbTK0Ln6iMUFPNQs7bpYSr2rLIGOzTdESrsRl7vlEdbo6f3OfssirpbmCOH9w
eBpgBNlbB7RdkQXGq9swZfz0eBfXye9UNZF3dI996ywICBSdvOo=
=oXlK
-----END PGP SIGNATURE-----