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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-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.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
 9bac15116b70b7896a3541af804f2f94ddc72614 2080 coqeal_1.1.1-1.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 e2eb79ee0a5772d3c6f3213b7e8efc367f76875a954c6d047c99baf1565f7c87 2080 coqeal_1.1.1-1.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 90bee762855345b75438aca54c904abb 2080 coqeal_1.1.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH2HISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRE9cQAJRuZy6UIQvynVN6a76s+UFSNSZnFChF
grTY3F0fh8dN/py45qPqhykcB4DvyYSDUCiB2/n8GU8YetTZJznhP/GfBn6HG9rX
6UhJOGZDQW6/ezzD7gGGoPUA7gIEDlMUKCSmV8ztaoM5g2DUU6gHFMPztohWK8G7
KX3g8nos8lksZ+2RCkKEBkjXjrUb+ShXryVJOD5H57fu5IVrhQXlH/XGTVcGJTZC
00vP/xvvI0Lah1favKN78rm6mZIyrsGnJ9Lb0J1xsXfRwRwG938FYXlT+MwIg8Bn
d07EAZJNYZH03L4hQeh92FKm3yNp9PrAc80pLOQWXu+CbzZ9wGB5O4WtokfSbfVL
R5+1sdj7XpgOaKD5ViQ8p7zWo7RKvQjaNJ8KRJHyWkPwqf0vq7mN92A2iGiTiWre
+Tg3LAC1aBqTRarOKIWz5Nvf0GNDlnow/umU8AyILRPY+UV8Y5dhupmeMqe6sWYK
3IlKNwj8JyTS3XYwcjWE9HX66LJG1BriFv6VHUSvSCgPM+4SQ8r9HdbbANipvOkf
nokg5KW839gYJBQhKDVFFRuPOmUs3MH9Cc/E+jN4OoKpw2TIj11QPPLfQm7uAxAN
Rhg3gfqbfzAJlP5tZjS74a6McwBjh3FlkHPY0VGXLqt6Gazp0AKItuTGZMacyjfE
60O+cPMMS9JJ
=IpUV
-----END PGP SIGNATURE-----