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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build8
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
 8d6e3e0677b1e58ae6c072dc2e8e52f31175e74e 2592 coqeal_2.1.0-1build8.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 f9f2b46c082e896c613d0df44a22ca55dc8514cbc6d113b7ff524d20260a21d2 2592 coqeal_2.1.0-1build8.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 6f213163415a5ddcc0eecfa27d202359 2592 coqeal_2.1.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5uvEACgkQ808JdE6f
Xdk3Xw//fZbHRYMUZd4OSxL0VbVpoK+/SfJAlxZRmCOFUAwHVPREDy9uGClAqhIY
F+yZEGl/GtIX7zOXqBhKYIQzsspIwwUzQsS3uELNCX00XO/e3knezpDcaopPVYCf
+jF0vMKOMjuv+1U3jH1nRKu9sqVB/Rkkdn7I1rPbdEFw1uqA9HBCYIQQqEriHDFQ
QuKU/peAd0MOHBDhtomN+O4/YFJFshugzBzLGG1QvXNCRpNKBKpREP+WP7JNafsW
qWgyNLfC0Z7+FCHRqiVu0TZVez6V/nn0sx8sqepNZVQSNbk9Xxf/o2E+Wwjt9FOz
zrIHJ7UvgyqowR21XwQgBkhmfIoY2i3y4U1P2+xIeDQrRlxm3N/TbN9JRfZ5kraf
Q531F0Yd5MHwnemMKkPfCSZCWHwKFjBpX/bAPEntY+fVVlsM4DQUG/LpCQwohq5V
Zki9ipnFySoViQhKSiK0ZcRF92Bo7h2ODDXYms8vpQQVHOLKFw5qfWuEw0ZRl7WK
3ArhQNraRFtT+bZ3nqjhbK8zacbXnlINO9aaPU3R+YWE2+giLSM2gv6lxhht8XcB
89kcVSVvKSGQD8vC1I8zzFkHOAjPkJpgsItxhJZg8XdXLHe1Q6Rcf5k3WZQu4RGc
7t4z6xZ6omcsvK7sGDsrTPjyeR8GK8EOAhLgs8B9NJO1C4RGnTQ=
=kq2y
-----END PGP SIGNATURE-----