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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-3
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 6b1c030d4f07a4b758621882dcad83763b729492 218742 coqeal_1.1.1.orig.tar.gz
 586d23b3e896befea0c69ada79096c2b2c18d101 2160 coqeal_1.1.1-3.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 cb431c609ca2860608ab436231bd971b4d1b5b550ed1e3e33369a708b17765f1 2160 coqeal_1.1.1-3.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 66e77cd5c0e97c568cad6d7b28857671 2160 coqeal_1.1.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRKN0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQi8QAJfAtT6kLZ+yBhQnIBsKBPd69fT4tq3r
dWziryJ7uEhHpqvsJxGvvekWgBS8DnB6KXWifTqYu+eiwtyuJsPg0p0HPlbhtG+W
GbnjC8UHhdLAmcwme1TTppeHzSS9xTTOcOjgUCKaXMS3aRY7RB1t2cAdv0wONsOV
0GNEW0fwXL4ylI8yLXFFBSgbnqAy8MiUudyJWRnLLLnsWf/23v9TCLcCY60mHGyJ
fZuxYF1n8mzcjsjiytq3VXe3iI+0SsL0hUeenHI5O+mmhPCV6f2+aRz87vkJossF
8X3FfuCftbbhwyAv6sp3fc7IhZF3VM3XyzL85d5E50By3SbOU/2GljLq1OjjJ5+j
8J25/ZRAFWdo3mz0rj6mufwRfrR76IIcn6l+f0v4v8iOKz6SZfl/tq5VF0VU4SfJ
FFc7mOSZTQk3xwrWf4z3NowBWKZukietFHfJLp+fagcS4myDhHWOE3bw9f10LnFb
R9jVxA4WGIvFmXixlZA3xdQYii/Fl3r8pmAM0giB6l7Ev5dbqUtpe8HAxUa9/mLW
SJHHSYFnXSdTxELCnkW0thTZh4pYb6yalf+IfknEX3GLLyx4ERJNif0vFG7dDgk3
iKMT5is9AJJqKNFZwDGTUhYkRjUINu6MiKuAzFaWecl+f6/EZl1o35PiHlhxtxzJ
lJycRefAUdfN
=5aYZ
-----END PGP SIGNATURE-----