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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.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.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
 7055cfba3dc2f56d57ab76bf1d75896aef3c3185 2408 coqeal_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 3c7a728c8e376c834c0c49cb022169ae43b1439fd192adcefbf7eeb011284f1f 2408 coqeal_2.1.0-1.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 5ab006ab66e384a6fab54cb7df5ba604 2408 coqeal_2.1.0-1.debian.tar.xz


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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZOUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcuKEACEqC6ur8X+zuIAET/jIXEr
ZnGFV+NBkuy5u9PZ0JD4FmYwoiYLJkKfhtA6WwfSJ4OT1OMGYQm6lQ783FEeJTtm
LRkwDX1wVJzNFOxoJEr7SgEFrO6/3xOgmsoHFmiqtn1EeD0bwKZ52uASZGg5gUnz
pjVom4KLBtxZwdY8FhDNUp0p7qBf525tsZjrpFyhHDPnNKoEQkOjlf4BclXjc4XM
1yrzF/LNYY5/6UDOVqCS8Ea7nFd/B4LxSkXKb2Q/uIruAo27fy634fhvZFYzhG6q
kl7WH0mjaFw7x2iV9er99gH8yq2lktuIP9lmzpunTh740N73HOBKIIkyWTiJ5JjY
7I7HTBUm/HtEo6iNjpeBAagqqABjghX3AT08b87aVZik/ZEU2RdpyA7Xh8tQXYpZ
fsGWohzNgcRX3irsk/a3fpoy5I/6EncyAN69oQdHBx2udQw+vRvCbvbmpvrbvWvN
7yXLe9zOd5CjLKqIVgIcQ8SpJwWj7dNkM3Nlzb/c806WPxxdVbScwz8kxMj1t6bb
9bxFR+C5Ihd5a2i3vGjSWo0mp0/UNahVuvxEUkAWC56v/7yxSbwdgOeqaQupILOr
47B+2tzOU0CwwU4Ai1vQMsDrO7f4WONHfTo2//6ytWB4SBmooXf6DjqWQYcvLh0J
A33OV6zQXIPCu2+AfWUFwg==
=/oCS
-----END PGP SIGNATURE-----