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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.3-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.6.2
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 (>= 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:
 1b9af210527afbc4a72fdb79157d741c990f58da 217753 coqeal_1.1.3.orig.tar.gz
 1e50659e618cd82dd44722311ea278a6b7ee71ef 2224 coqeal_1.1.3-1.debian.tar.xz
Checksums-Sha256:
 a81c21d31fdc888621570ba39a7d1e9bbf4695c112e4e0f8be638296d96dcba1 217753 coqeal_1.1.3.orig.tar.gz
 792529f1529ee0cf65a9d27eddd2848e62c8548417008c6615c81f86471ae7d9 2224 coqeal_1.1.3-1.debian.tar.xz
Files:
 3c901c58e24e003b268c9984e02403af 217753 coqeal_1.1.3.orig.tar.gz
 c0dec2deb1bd4bba7a538da39bf84e1d 2224 coqeal_1.1.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdjcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJZMQAJ+XzkDTWfBf5mpE9owBWvUCv/mer7Wq
yX0RxvNxTRw423GvbHiMbdWtIpBTnAMpa5LN/QsKr0OfM9tLmIlK1fwDG6l2yvFD
234/2N4bRA0BG7/ofCxwYZYumFQ476uHe1Sl0TwRU/VhGFOust2piEE1r7Prj02/
L6UlEotd1rNVdK4KNTfckx1XUp61am4TqpeTP+wd0XsD/z8CMHEVTLGpKbY4Fe0x
p0dtydOaIe/yU8nrkdymAwLHyD5tTdfMmxSq2voP7CCzD+hJcSJ+kSglEI/NPsp9
6jJSdHXrpSOfdg+5A7FLas6SBAMOW8UxeB2eVDKBfrGbjENKnppNbmtKTeUkNsin
pS9sT6uFAEV5+isxKRpZthsOXtIZx8VzKQQ+cGFUWCxnHkodxQphuVhpn43sQ7Zs
wMA1LRMaIB8u5m+PBkf3QdVOLAlUkK6dMsBuqT9QqN1dRw+F3Y7cXMDyDH2cE8ea
eoxmmdqGOiprN5/6M+7yQLVTVkwJOXXN7VvUOdvXimYDcxCg3SCH3TihJ3w28drM
AuG+TBYlGjqALzVsHr9uBCNmsasOqqPs33OTxEIM9y/NP/B1070nbzaN2Sbpl2al
s5qbirEKxFpg3rSdOfywmWy7SP5ssNflbrdq3qOUuJscjWbHWCCX6JzuLMrTRWWL
Ped9gV6mwzq2
=wP80
-----END PGP SIGNATURE-----