-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-2build2
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
 07422ceba0c1cacd148d628604d49760e0b41932 2208 coqeal_1.1.1-2build2.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 0bb9417d80e1068f75a7a17442aa408ad07713fc73e4a4b235a9e38cf09a3d7c 2208 coqeal_1.1.1-2build2.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 22223300f6806327aa7044619e0b9b6a 2208 coqeal_1.1.1-2build2.debian.tar.xz

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

iQIyBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLpDwACgkQ808JdE6f
XdmfnQ/4+lYhi7Hv6YdqTZnolzxJQt44F+7KPgfuco019KFrqQM1j9sCT7MSLLG3
ClIAVJlF2o9YXBcLAU5nXxjqVKUhV/UBAzMdqq9I/qKzYilrafk2KZJ1HaMgn4FV
Flxt7uvt07i8+FButNiBMuND9yVyz66Dz2r1oxAEPVl2Ni9vqAo/NuKUBjw9LGDU
ZVQCnCEsuNIyyMFct5Hbr7cneZAhld1+5D6/vQP2P1Jsj7dBCw5QWyWckoDO6/xF
ZE0Ky3HKt9Dubuqae6XUSeDcEce0r13sFc8lGP79jgBHZXZeK54jvKVSNV0ZsKQi
9UMxI1meluctWoG5FaDAVb7Lnswq6BxM/NivmeuBgT/7Rkslz/hcuEsxjixfYsYd
N6IjF5p2EooLlEWj1z11SnZKX6v+K4/lLKfNadOBDKR+eTJQwBX1niu87YqdMoCM
/kRe/4lC61giJGyrmIQ8kyBqE/+VOPMNOvjheqpV9PcxrZjA0JeqSEp35UfMnTjq
hhAyZV7KDtSjCXqNva4wbOJCASpve5qF55rwt9+nrSHtllwLfXtYGm4agyee/x/g
FsZDE3emjCrYr74iWPdujFXv1XShAbVI+XYJujkc/o2CnWtxpiB0lOMSfie2niFi
p46k/kMRmQUOF9Q4hY2f9sZerlPAUOTtbKmF+eIjRPqoLZE2aA==
=JvRu
-----END PGP SIGNATURE-----