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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coqeal
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 1.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 d7a91350ba1ab0f58df083df58d006b29955ca5e 217009 coqeal_2.0.3.orig.tar.gz
 483c181b35ba028689ef4d688a7e438fc40fe653 2520 coqeal_2.0.3-1build2.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 6e9583852f404b44c1175023c3e6e6f56323fed6c762b3c51a69a9938e467731 2520 coqeal_2.0.3-1build2.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 3f4a751564e5e51ec7ac0b07559455e7 2520 coqeal_2.0.3-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSAQgACgkQ808JdE6f
XdlMww/8DJRM0B+VuIJLb32YF2Flj6iDMpU9NaOq+feL7/jkzIgS0wTzyA7B2UTx
JXNUft0CBFDkL0AZ+HIBIyJX61z9NOp3+ne4GCYoQ1QJ/iKXD5rU77ceiH2Vi5AU
E8jOfbouZR0dlw9po1kmRXZq2aisqQeIof7SilSqCVStlNo0RhSn3BqZAq0v67sb
+av4Xbe3r+XoHFw641XpaSnIWDM89a/8A1dUJRjfs07MotczEPAMCEVfw2AmdyH/
waPkfvt91T1H3eF49nYJMEffh5yf7b+0toeIn4+zULhBQMZkfcaUDphfUakBb8J6
5SC21VnKgfeG0bVZ306XWsWPqRxpPzz6vSICGaTJiT1rfOpOv4nxmnWcBVZdv99q
Oobc5xbvJ8Zb0yWcrm9JcQ8JrSxfbbJn1fdL0aTUQ3sQehaLi3XxOLoFdJ89xYXY
SwjraC6B0cLcNdXmFspMVUjqeV9dP/oiF1NIcgSMfR2nE65VqdZ7H8Lf8+6XaBnu
tRcls8Wih8ESpwcwW/8LQZ/FM3LWdTKysrYfrXGcpxVrc5oHSx9KvVlXUS6tDt5T
KuXlxvkcHbdjMSKQ6cUJB0sjDBMj6l5eg9wdIoHZyqgq/teBkKtX11Cs6Eg5jeDg
akfE4Qy3Cd0qCesCw8ma+gEJliiYSCE9Opkg2fCg6szvtsIyNes=
=pIE7
-----END PGP SIGNATURE-----