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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build7
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.0
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 (>= 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:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 6f2b1f7b5f240edaee4e84f0c205828d0a1d203a 2584 coqeal_2.1.0-1build7.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 a7d5a35061257694229b69581ba453dbe5986cc76af5e047c73c21b235eca37e 2584 coqeal_2.1.0-1build7.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 6d9e5802ef94497adfd29cebec4116f6 2584 coqeal_2.1.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6ikACgkQ808JdE6f
XdlJeg/+LB3ph/848d+NFDz/6M+V78YV3LGdQdVlpCSpTo6vWY4m5fVzWJi6OwBl
4//b9/2bbsw7uVs0lGw6GxkjC3s4VuFuhwmm4YPxlQgEKqqwBxoQG1jm1CONk0cT
C8AhpMu+/6KUdWsdOiifXhdw4wW7O58Dv7Qs9/enWfGPrYCbjgC8xfOQPFcagBcE
ua8khva1Avru2w8l/Tf46FUzBh6qoCK9mpkLPWATYytMwYepiOSN5ENOAAUJ77C5
F9DePlPYis3h9kBmMzByctiqNs2RvS3jtZj5vQHqOi8WdwjSGoFpEItO26H3UIzh
G49La8GmtdO8aclyknT9hS8hQB6AdKFh4YXn+VDsVO716uO3NSkGEi5eulBfUdbP
dZCP2KPYcqNgUiyaTsgdlcqXm8kIpFGarfbQ6uTqoyg7mQ3ictNKXLfkadlDu0C5
ONSUPrKbvXU66udcGXtnuTo1D1EVfLDKFD5Zs29+ytNyuC1wCN7Y2qfZ40Jw+IVm
nB/kPWAZ+Wdf/b2fN5H1wKS0vqtLNsAveSAWoeNAc2ne/QprLpqnfdIYbIPesVAT
iCV9Z85jmXaOCj4XXOk/r5uHDg1+d+/dpxuuM3LaItMfBRYtPJ0DRSrOUNIAGf3Z
to/LlQkwl+kpJISdE9xskxS+7iueApxk6zZwkX+GygMbmc5BphQ=
=EYIr
-----END PGP SIGNATURE-----