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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-2
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-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
 460a27738ff3201166064c9c01a2b1c69a5382f0 2104 coqeal_1.1.1-2.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 f713fe8bdc72b7a89439a02c92828f7d7cd672f3547b52abed1e85e8cd91918f 2104 coqeal_1.1.1-2.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 b42b21b40f4a7fc0d5c930112da23b2f 2104 coqeal_1.1.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkD8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmskQAI/dYGDF72AArLZqVzTAfLwFWXlUlFdi
1Em/Qmefe6RMDmu1gZkEUR/hw8k45y9emC38HoGwfz4Ts4RCBE87BYu3wv/7tuf4
75nLJTwO4Jd60sCyuGRPJhEO4SUYLKXypBYKzgr8EO9vpAwmUUN10BwWTeajpFzd
jQdgl+LprluwQgkkQBpIrjnl//MlGKU3wz/kafK4gPkVxud0E5PpMpBwQBL5Mi4w
/ILBiM/d6JUjQSVYEktalxdZz5d3oiNq5nDnslCfHGVryHcGfyMNtPmo1X+GBQv/
JcgZDuOmeejwksuamL0R999srhDMNdxy7AkhiYYkTdXhOF1El3FYQLghsV4rGRfi
A5p5fvSCdn8QgakiJ7L7DgDbGtHBGbKdUNQIBJqr9YCTdL7wFkdkqUh3pXtEXCbk
Vv+lqMc5XTqNPg5ucJtoEys3zL7rthjB8ODBMk1WkzBVh73ZkfNwUq+xJLIPH2f/
Zx9fxGdBCHLTXiIlO71EpC5/WRPceeFDKSDLRMbf+MfckFHwfQbcdIjpq33WSOrL
NXH+s1vc1q0bzGc163hKf4tuuRy0yFgXWX1Mj9EImMFIynLE4j7Emtw2GMp/VS80
tw+4X0dxTT2v3MpmfVSJguKG37f5IzV7S179kQKHGn+3hQAVvqF6al81F5zMl2lp
CNxPgyNywNdq
=u3Fp
-----END PGP SIGNATURE-----