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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build1
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:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 061037f1ab9f625ba3d9acfaa62fb2acb175edad 2492 coqeal_2.1.0-1build1.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 f270c84305c8070914cfe355635f6d89a4f4df5855a257c05e912614726e057d 2492 coqeal_2.1.0-1build1.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 ca3aa8541f28aeb511f56bfdae0870f3 2492 coqeal_2.1.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2xNIACgkQ808JdE6f
Xdkv4hAA0Gd+lq9E1cedxA7AB/ar5dEkQqjhYrIBA4HktDEMrG8ejeZVLnAvl+z2
e621dB3X6jKJrF3ac1mjiSR60MRPySgU3fJ+iWV8I95RCKNBU/wDzrnKfN/j3E72
MMPbOVU1Y8ARyO/LLZ8WdYiNC65xQ8UXpH4PFhvOtaIXqY8qxHaEToPfg9pFQ4h4
ELCXVZtAf7ODNFrnDR1EjlKYHxhQnhL0be4or1XLS1BxPkzayXJvzMICay+dY6z5
SnO0772aXlSTwWJxdR52qEorKUPCFVJovUoNSwnR9DBM3D4gdRh5UNx0ZCmKUYPz
epjjgg7nhsCYW2BAnXG1Ew7vU5spHuvsUy4ANBYTfKdqn9EVRI307xtH0YN58MSs
F4cVgdPqc9JHjgCZRK5WjynHVbaVasoiw9TaTFma/LVFcAK1KofUpl5RoFkZPZJi
gA8OsPeEu/4pPT9U7A0yGGwTtOM8+cEQZFHWdftm+o2BRvtXa2mmW5Lku2bDLCXo
/+/a65Vr5vq5BzX1Wdb1yV/1Dlsx+HOsb2LKP/G/YyY61GppRlLsQ5cEsTS8OVRP
zp+hKFL8ewRlniZa9miUhrlsODYkDN1KIhSediGjS9FR03jVTWeUuJIz/+xaSXM5
Jw2W+9uiQhA7CQ7GNYsFRcxsMnB/F8AWR+elb4/b1Wm6cEcS3rc=
=MXTS
-----END PGP SIGNATURE-----