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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-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.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
 ab9f3a8b5b0d9439eae49fc12bc9386ff69f12c4 2392 coqeal_2.0.3-1.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 e7ac6a97d16cb308f6672fe68b692132d8c46353028ca65acf25eb9bd399faaf 2392 coqeal_2.0.3-1.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 54e506f403d28f1493f615fee4d11bd0 2392 coqeal_2.0.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8UsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUecXD/9h1dOFi8AQdYf/hH9BD6rj
U1G+t7RLRJBEgyGjbzv14r9Gkn5+MO1h6NMJlK50Ko58yvn0KtsrD9sjEa+kn6mE
n1mJM8hZU3i31zowSaNgVa1BVnpkxLU/DdH2TduA66orC90+QmatTVRRe6gl7n7u
86wmk8kZlYJ67h5+bp7LNzg0PzDOQTQ16XZ7Bv67c73n4t0Aaf2yaYTCLTxx9ZKe
4Ua2Vu0cLgOcYdvZXHEJXYxquMrhe4XIB/+vRccVSRJ6qnKraBK7FPpQ5BP3JEr+
jOfX8m+hsUirepAUDmSxOW182lzzAgsAL1SzvEZlFJodtpcocT/u6rPJK8ATvwjb
Y+21etjeojJ6pwWV4k+EGwyF+8vmsXb82K/QJAM7Qe0C9oJTvR5MiEeKyE9es5Rf
taxmSjy8hIFB3dRasTvypxT8dVAcLh9QvqsOo0PqTKT2pJJa3b3PO4iXmcteFaKd
Ve4CxNQHRYAKU1Kt2ZXout4bSWjm4xrnFcGX+qUvgcHxSxSkx4b5969csWx7fFP/
rtabC8xjzwFFxecKL6DQb690dRF7nr8ndHEYNXUIVm2sv6ZDpPtEIDoZYBNaZeea
HB4x3tYxMBdz7v45mkw/w9i0G3cRRudlGSFZuMyB6SClKpcjXektzft4On20k3mV
rZ30SHgqfZ6VMtkFLu78dw==
=FikC
-----END PGP SIGNATURE-----