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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-1build5
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:
 fb950462de2db1231958f913cfae36dfc25d7f3f 217033 coqeal_2.0.2.orig.tar.gz
 d605455a3a5a80b99c420641d2646ff2f6093c04 2484 coqeal_2.0.2-1build5.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 fd9d98722c61727d67a8f4d7548af1901bfdcf6cdfb718073395a1bcb2817ba3 2484 coqeal_2.0.2-1build5.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 7ca45a19d11aa798d454d70ea8031e49 2484 coqeal_2.0.2-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmaBPhQACgkQ5mx3Wuv+
bH21HxAAvVZ2aqOcEKufMq1lBFYgHiNKiKRgVqX9BGgiu/ktQ7mjhOQz94Qjc4gV
u3DncBf8EGFi+t8LqsZqr5/vHv8e++O2KsOFb7eo8sv2Eo7XEAYHOEPHHQa3yOq8
WVwNiRdg+LjU+/x5EvGKqUXEnzaZPUBKla8ek/Lc/lY9ZNdwArqgC7ibF/yCXG5l
EQYuToKcOzUlqRsfonGJzSwyr9J4pE4k0U4KjSQigWBWLX5lbX1uU49yTPga1zz4
ln/wGKsd7dnIc21ALLrH3/gqc6OceB27MMaF4G3M95po9P9/UKy8VSb5PlBN/MI2
maoHZ1DDngE6ZoGFlpuKIeG0XUoeyPhFoWFX5+ttWGjFugAQPn2bnLrG4kmwLeZR
vXmVZHsMRICF5jHyR8BRnRMn/iFYgDW19fVILVxy8IG4K4vpcKQ/s/JzwjdsZzGJ
uG3wdIhpgRBGFlLTB3QLgb8zNjQxN0H6ZRrFqwNT2zmpPLoKwmnuq8Pz4NUsXrtQ
nKNhjMobz7ijXB6Q0xq5zf05lA+V6lbX5tzUxVAnHlpjJvcu3fDs+VCMuT0x6gbE
Ra1pm/qx0RrgtkkevqnJDJdSTqH/9g98tQdf8G4GSHVFBBxjc1zccY9+YDzvgVfC
j3bRoVS1RckKdEcth405rG1a3sCyMntdn1RwaMEfKv8zCiD97Zs=
=eCJO
-----END PGP SIGNATURE-----