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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-1build3
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.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 (>= 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:
 fb950462de2db1231958f913cfae36dfc25d7f3f 217033 coqeal_2.0.2.orig.tar.gz
 2adbbedef8b40b228265f74031fa3d30e37bc3fb 2420 coqeal_2.0.2-1build3.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 b8b679342ee45231d462b9339e4b7b01b413857f48603e1fa5fd19dc2dec7c2a 2420 coqeal_2.0.2-1build3.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 ae62e4b13880e52e980a36c9efd51bf1 2420 coqeal_2.0.2-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOQ0ACgkQ808JdE6f
Xdk1IBAAjBHatu44a8i90h4cCxoA+vBvVBcZrsmFDsqbNyQFvZH+fx8sUV/A9JhM
6XpftQK0dVufd0zEmtDqfPOiEstGOqCXTHRzIOFLq2dc6zk59W1tbnrEAiTy4OJG
Ya/vPtauA5PBXpiZttJdM7MyJH7vE6tk2Qc8HPs8Se3mBBAQsYKvSeLJcAKLIO2E
RKACVuNV0Uf7SWYtfAJpq4sd40MNUWqrUqwmP6bar9kmav/VoJFrIVuDnU27RCX1
dDgsWGFwNoP4fPJuAn4LomvlFlaCa7yf+HvlY6sqppAih5517Qcsn7gAJreE0A8L
k3ccAIomfy3v2QTJL1FSk4dTrpgZFy6/O5Q+N6aLjM2Uy6eNSFEly1c65K9uDQQO
ph7n0kAI2XcsyYWZ2q1kMAwBsIL1vYRr0W7OvEEH4D6RXBHsPwLOEpjAfQk48cpZ
Wniy80sPq9uJg0LJmmfW65Qdf27+lRI0MW92CMr4n4vdDVQUbNnLhoSBvSUFGjtd
7KwCm4JytqZr8uGXtEbl5jqJApLNdjiUX2/d+wLWKc01d6oDR9Q9zSzLhW8VW1lj
2Q//KhV5milQkjNKmC8IkrJjVjhDa/qeeQvyWZ8clRSQ52u+CAy4ac6fWZC5LuuL
kEqcUZkwjYPBuoXsSNAme0RvkHNJyCLmryIeskRdYmqksYJAgwc=
=TKfE
-----END PGP SIGNATURE-----