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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build2
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.0
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:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 4a68c3e268a40950f1e1e327eabe1695bade9099 2500 coq-ext-lib_0.13.0-1build2.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 a1446e5b039fa48f5fb3b96dcbb353357e14e60588ce2913e46202cc1f7ad3f5 2500 coq-ext-lib_0.13.0-1build2.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 b6b269ad832ba92512297d4821ca2c1e 2500 coq-ext-lib_0.13.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeuf34ACgkQ808JdE6f
Xdm3gA/+O63H1+wvdzKXiixFIITCDTKdlspvxOB2bGYVLVa1By1yjcIB5EOPkGnV
ZoUuuCGNSdZMz8uZqKmM8HFYhrXjTZbYWOCcC4xcP1EpqTuWWPkZBqHCKicqGWrn
WEWhGPdxMwoTfS7XarTtbOk6lczpJK+vyQWyojaTzpPaPOS1hNRTRrl2CoSdgbIu
dUZXmNRpcSJmymFkykbMT0J2HCZd8FDqvLoM8zlx/4n5ZWatOGLlo93mExhd0Y5J
IefssGPgoqxfLWWLgDJCJmLhHMX0fAlWrgxW3UzBRoiVivkVRy1U6eX0EwXKGhi/
EIjYm/7xNGe9Zg6MmdGT6MrpUwkljiK3FGOzM0ACzKkxCy1qoSwqerhTViOdMHgg
POp8U/rySeyqphrM8UHjrTMSditaK1OIQfH0cPI5H623SI8NBa2ItPmxANlMYq+n
Hw/HvtsRHemKwQRqZ+Kah4DTaelT7ljEX4BC2q0odsT6J64jM86Jdd6nJIl1cYt5
aVOh2l96rxY7U5UgEd+aAnc6rIDf1c7Wp44DPezormNil3FZzeYlJHiGYlfVyX6H
njYCw234ZVqJFPib2CLjktr7GvBPM5Yv5CIsF7Ig5ALpViY8UxB2ul0Re6jfz5QY
Mw9+y0LwWMVnQj/5tTc8pdqzr2ixUZ03BmYA0031m8sLXo0hehI=
=/nlT
-----END PGP SIGNATURE-----