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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-1build1
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
 14f4dd59fea3b5739c7c4254084af8e48f2f250b 2468 coqeal_2.0.3-1build1.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 ea02a3035c8b283df00012504f633991c1b982c86a7e7acfc5e953b7216b8b9c 2468 coqeal_2.0.3-1build1.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 e9bf0e62332868c81d5c8ebd61a9fa83 2468 coqeal_2.0.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdmAroACgkQ5mx3Wuv+
bH1k5xAA2ZlxY+lSn/tn6U1lz3ea42+WLt6xfqlnlPrgTWt0+WinsGv8O96gIugG
VL08krLoQ5h3kVhu5LkHt39BCwaVNNDc0V5suLZYIWjHsE4/EAApXU0W5CQg8FOF
vOF+LN0YH7h2ffwqdS82v7YOyBtJW9ynQDJ0/hfxSoSkPxuGVDWXMK17Vx74ZKRs
OFbQC8xXdV1h8UCamYHIHsDs/eA3mAVVbwmWVRiUSm9a68KKB36CHAdb9J0zeG4I
l5JP0hAHqyQCD6v/Igw+jz0KTffwT4Nmx4KM7qfkE72t2nQT5roY106bCFDE21CY
8yeAxjN1SbGE8orw4sgPpIg6Pav+06s6EFF/Y2VqeLH2Xw8ovnOxvcpqkqV3hKcn
WmFxaaTcuNd5CzaOIe2aycIp1fydXB/DJ+/hEZ6ZrZtnKWsljBKIMZVMczaVYLKN
3rA8HdkpQT516gilIyWgGkiFR4s8rCzHGe5VjBAgHOkG65R0oW6asj67Y6hAbs8o
s5NtBS9UfsbaZX2u8PgfwtZhxIilFmu1gnYlyhD9qOV0dJsy4x9ejygTRfqUy1sZ
3jRY+muBUtoRyv0AFpXWnXG3qJfRYe1eQPmDiGSwBQCBRAEvD+7MqFuj6a5dTWly
Hfm0g5Oj0NjebzFB5/iFRDbVVw48nhaC7DZ2vgVDMe9reNUKXcw=
=S33H
-----END PGP SIGNATURE-----