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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-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:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 8852fec9b0145bee572f1c8e43941b8b67e0f645 2504 coqeal_2.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 c2dbf087e419513a54d2d5986939cf86bc9334d58d108fa6a3caa5f53f5dfd11 2504 coqeal_2.1.0-1build2.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 c43d411bc1bbe87ee59e09a673f9419a 2504 coqeal_2.1.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPLAACgkQ808JdE6f
Xdn1jA/7BikIOe6yj3MLp7VFClTkwvy+zt3Hwn4zrUsv9QgkBkQQyN3SfOupZK3/
Tl9j72jV9QKVAfV2bPAPZrDvRgLDF1PAsrWnqxPZ9S3LZFme2r3KWUr8vy9BVevB
/n6Qk9brAyKMPt0Jt/YjW3sM1C/mIbxrgeI2F39iZDXPC2FIZyQH7WtIwdK/oYDd
fCZB/ovSfrV5MrQkH/Q8CMYrdLPYRY2wfUrk9tzh0vBUA5OycCKqFY/8XvurGNXq
4ZQyqHwVQwiv980UWNSaCJvFUwktYDRKutBBoSEJHUZIHWPu3TS6yNOxdUumCrZt
OcNetVBH1p/P1/HlXunG5xJfgSb0Ec9D+H3FmcRWQQk3sPYbTMLaho8kE2GR6hY1
Dz+esT2lKd+IuKNKzxbJqrx87ye6U115ziKk65H3+00MTOxkQjgAsCf9j2D6+fsj
35q3Fw73LT6ztZo2Bglw0q418LJcVa7AP9dNZOuiSzYsfskqQUL2m5D/7XL/o3iP
i6UcK6GdkYcKtJSxsdm06PUmPv6z5mGXYwlLqAkr3hozLX5xTAsY7TGLCERPO5RO
E2c1i1Y9sMt/eqPd0KOG7JrrUytDiToHbbXhaHHA8LyS9F5Lg2X4R5+6AAvHfLes
6is4nEp/i0BMqMDw7qEs4it2cD1cDkXHDKb7vmo0M11U0o+yZGY=
=5Vfb
-----END PGP SIGNATURE-----