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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.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.7.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 (>= 9), 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-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 a4dfd7b5fa0188702742e7b9bd2bc346f2d16dae 227388 coqeal_2.1.1.orig.tar.gz
 f252808c5e65866a059a3c87778b76f8f858b92b 2500 coqeal_2.1.1-2.debian.tar.xz
Checksums-Sha256:
 be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d 227388 coqeal_2.1.1.orig.tar.gz
 ef91e9d1cc4e4571cc546048d5db5926835f19f8a7f274431d36eb81457fb472 2500 coqeal_2.1.1-2.debian.tar.xz
Files:
 ba3554ea48fbdc11d866b0b14760c6fe 227388 coqeal_2.1.1.orig.tar.gz
 2c8c05e564a4a3d6de7fe15ed997ed1f 2500 coqeal_2.1.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTmBAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfLoD/4shr4V6dvYLkpODDChqFjs
nIgsSLZdx3wJWBKFg+0NY1rQJ+ugZnpK+PPdua02mou7mhW9AJRkVNKT+rzWofpg
luM+H+AWx9lNzqKfyUks05wb0jk9wdQOh/TzJsRXhUfFntNlYYTOL0Ey/32B/o+b
eVeQJSXl9a9DurwRrOE6HlwcdHGXwj0ypKK7pLIb4t0DVpJpLn6upiNPUbFCOStq
7xD7YRIA9C96/thbUfiglmYBKGAb6jZZ0JYINjCydfABP4cHJQS+2deunhNR7RyA
PzZSQ2rWFg8YQw/uAuj2dJdQlt7VJ7icwpNwen6nWdeyMx774H5i4CtlV1mI8SwM
jBa4i/KKxubaRBeuo4/y2INGB88/kb3AXblu++QNywceWX9rt82B0SPZGCUuPVMr
kLl4rd1IqVAY+i8pPbT/3sIHzK56WV5n3cnTWYPf05dMYnL+Q5CeD8j+nk7JNp47
8Qcduxy3hneUqi8vnl0cRuK5K9CGy7XBGEbeOfBlSVvoL/2eX6f4VU8MjazVcngX
9YYf8dZ8LI/CKQdO/6WHQx2hp6JWpii2r9bYuOuGrw3ZwVeyz+6dO4sR0PZdea/Q
XxMtZ4J5d4h2wPtXSLsTe75q6PMbi2zGVIyqnetTPaMndlnxwlhx6UmWlbLB8umZ
cljtv6YXZAh1MDKa6olqjw==
=/lzJ
-----END PGP SIGNATURE-----