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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.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.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, 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
 df9e05ab8c077cb6c05b8770794bdfba63676510 2456 coqeal_2.1.1-1.debian.tar.xz
Checksums-Sha256:
 be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d 227388 coqeal_2.1.1.orig.tar.gz
 3fb3aefe881634d76796e25919b7fa7708cf13cc6a2debab4dea1b5a0cb66e96 2456 coqeal_2.1.1-1.debian.tar.xz
Files:
 ba3554ea48fbdc11d866b0b14760c6fe 227388 coqeal_2.1.1.orig.tar.gz
 aa5bcdf86ade5c21d2b925ab57e8e22c 2456 coqeal_2.1.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDKHAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbxPD/93MIVi08pjTpSoz2iTIPUm
SSXReuGPMEjtpAER6hFtVp8Svmn1abnjOyz/2+ixm6AY1ad3QtI7sanRwJBYJVDq
HDZYH+9784SPOTJFEFLTqIjE0tNbnxo5/giZONvhkHZ0MPRlAQBP5xBLyJV2z7Wa
8yVq9esU2Zg/f8ukUcjZZ+ePZsjiArPSllIKOPVf8WFdGFCmDVCyF8zVUV5Lg36Q
KwKa7IoE+jGn5Xy6DRDa1J0IT/nxsx7YUpstdkdZZ1fZ4SFDFnN8hDlORVs5n8MF
yRB1XZ3Gzd/M22Nr3UZJkh30q2HPbURpuWvoVwyYhX6uZ8aFPcQB7aijSI6sQVBq
Uc3zmIgRlqCy8X8N3fjOAsG2lEj6E/gWu2Kbl57Pb53Nkji4DOdyGaS41MTGhkxU
/QrDN0QQ3w1B80Qyqip0f/BBb9soXM+R5SfVXLD+PJLwB92FHJUTe6frfBI/jBrz
JfmhsYFkAjyZWHLIeYos4OE9+P9QfYmHllXqAbTJJ4D9N/taW01ukjYLZWV8QG2X
uWpR7+veK5po/AzWeoxsGcx2eG5/EGXUJtqMCpZ6EsLkZOs4Jqi6MZtiLIXsDmxV
0eZZ+3ghX9otO/n+rb70a4250mStxHfKZ8vnpRVbX4dq5EA3X7St0ETVkZ/oTErW
tGsE5g+Wafz9pnhXUqYt+A==
=G26s
-----END PGP SIGNATURE-----