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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-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.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:
 d7a91350ba1ab0f58df083df58d006b29955ca5e 217009 coqeal_2.0.3.orig.tar.gz
 ae404d1b1802579b735de23cd970133810340356 2528 coqeal_2.0.3-1build3.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 7dc303fb886a7b8fc5ca7fd96c6cb5012c41c6c67ceef3bdb4cc3fd2e1f3dcc8 2528 coqeal_2.0.3-1build3.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 1df954388a98daf6a4abef346a44a019 2528 coqeal_2.0.3-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmechzkACgkQ808JdE6f
XdnYTg//ctX4y++NENEiTGnk1u0KpK9IzP8iSh6YDUTrvzC8puESK3Ua6izuTeiA
HkubtvdF3YjYIAcPNIQ1Tdel6xrbSdy7GqvmbF4k8vmbfRppy0/ud5T6qXnPI8XV
3QYlJxqSynxdr7rsDqjJdhb2yJ8L2CJcT8eUG/a7kGfrPiP5Z0m4dh2sI5tuMkb3
2+hj782nrPBxS9n4kohkqlkcrDECk/LB/o3D+wUfWCzWHyey31ll4UocM1n13nCy
0sS13Nh2i/hCmMXZS99L8Wtln8KfxKb6Ol+JswsbbEzi1PHVJ86Eb5Pj6gQ32gD2
7dpwYjAQqPbO7NKo9Iq+dL6VfjIBd+jIQ5qkjwDIvKCTONegH3madzJ4IXyJjIMm
Pnw5i+8iLMO9Vt0G/otquQGcq/qATgUX1x8k05wxrhuydy7ljT4MzPdbR6aXridH
IMMY3R9w/vri3FPegyi1mHK+/58lZaV/G1pKI0uOiP2Wr5TGdLnfAWZYv+HcERNm
hrPmW3bUOKeQthcCCINBtrSc9UBrnOS6PDdiyXU10rJ09D/2YoGGJ48MTD4ZLNiw
I+zryYqtotg5zneaQbbPArG5jELzghM+Cib1+HQaXHzEAZZEdm6j90OmUx/hnPcm
6sen4TV+s5qSoxPkDh6WiH3uaoZAsNKkkHo3yvH2aLdsBqR0cjI=
=yvZ6
-----END PGP SIGNATURE-----