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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.0-1
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.6.2
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:
 e46bc4ba50883dda06dd04407c7c26689da900ae 216540 coqeal_2.0.0.orig.tar.gz
 f419d0740de25d5146a6e7582d6a489c7da564c2 2284 coqeal_2.0.0-1.debian.tar.xz
Checksums-Sha256:
 5b96ff30de465747c0f560ca11ef870e03022647ffef411aad7ee79d62865a76 216540 coqeal_2.0.0.orig.tar.gz
 bc69c61d992102839ab2b16d81e69dd4afeb637ad47174bd3056056e1fe03752 2284 coqeal_2.0.0-1.debian.tar.xz
Files:
 d6ece55e77b260ae0d9078224c44eed8 216540 coqeal_2.0.0.orig.tar.gz
 71231580147b6c5ad947977c77877853 2284 coqeal_2.0.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFaKMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRI6wP/0OhWWJW8IqMuWf7soFuK7c+FkOGF0fv
1JerGbAzIXeQLKp7sxyFisQIXo0UTB4ImttT6bdQiehDZA31GT+hPCEGHXNHabhK
JcHUCEBsr6yz1E464nEOqBaJGLUYI2o+t7e/yfp4QNsZFlf9RJKWv1QOnvvNMYjB
l1Q03hlsK+VDP3hGSD82K98KiKXg9AIMq4GEFEDg4ObHeHfmdpPUnOLqqffRbATl
om72S90RwbDCOU1HIDMdVeLDXsl4zj5KxPwIAtOor5wQTyI7FkWA4yg9aEVAKV+V
kJPxfzujCw3WxsW5L3s49x2fEbucDZAQBeM3XeZY6oIKN6mm66j/H8j1se0RCtzs
yknmrm4ouLkRNBJhg8/2UhxOIXUEj+Wscdhs72mXMBpR/E+atdaL1pvDJj6HGReE
9kGQ12Uw829V5r8sjpILhcJrTa9hR9Ro54xEg5QC18L308e6o85BC8wD/1djGjR/
1Sozi58ZByffhp5vvQGAv4iKprSnBNktrGdF+TddzAYDkpzJY/yzpTIbo44+HT/n
TgdpYg8DDOqAaQUB3l3eIEWOh7iG2HLNYP4dZMxwYSrFL5kzjZPQtv9pU65wuHxw
AFjFKI/1h1wcCR/OEMFHopY+baye2QgE5laCrbhOJnK9jJaWYV/t+FUFvCqsvW2z
1ZPDxwACzmYx
=3u02
-----END PGP SIGNATURE-----