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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.2-2
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.4
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 (>= 9), 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-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz
 8073af178ffbf4c04f5e1e5575aee6d23b81e9d9 2552 coqeal_2.1.2-2.debian.tar.xz
Checksums-Sha256:
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 a27f1b405461172ba00f4415a8ae299888db58e86ef5164b528fc64312926dc6 2552 coqeal_2.1.2-2.debian.tar.xz
Files:
 dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz
 1e8c215abef63e79131f579b9718d9f7 2552 coqeal_2.1.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp87KAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUVED/49wr3UA+JynAbtFneB3U8e
TUAMlaLN5nFPSAkajQmZ7+b3HEuj3ZPm+WvA/0OtIyjTOFdmFKL/+1zcDIgrDmbi
mC64YVJZBKsXrepqNKbvdVrwLM8Lmx4J95quAm+vZY+3C8NIqXjsS9tSmJ+yXbs8
fQfNOL30gcUoH6/yplKgjjIv4Ch3+1AKN5svELiCWL9ddiIubR71Ev1A83ex5Jvh
GbnMfbEgrt9mPP5HpvuIr8tCJLsUiENvR1syodTBtc7ynT0kMZnLPwNg71epBy/9
8VGTi3kY0+C1HblG5PIeztH93mXymPBHSntNe+PGetMQWh1C/L8vjHnWwVLe6Q/G
zhP3WH1HI4zlIsZNz+UfbVmKL/PpFlaErscBH2UjyS2YAaSGGLoReu7CUA5JFclk
CghMv2XucAjvSiS+qTzI7MIHrwIttbVXnB1qIToI2MXl1BYPyytBJ+22Jv4ES65C
Fz5J72BVIp+AA/cvnaS+4uDfz/mCKGddRpqdKRqYaxbnQB92nR5hTec2vb5xMf4X
rk+0tn4GhSDTGkJoL4q1seKeriAP6GXJPp4YuKtADFOMV+L2c5E0z5CJEjhc/tC0
SBG4w/UhWQuNuZS9TQAZf454scrLHcxpMojf2rXEnHtgVt44X1hftGz1BQIyUxNU
B8AecpljwSO+NWBrN8hEpA==
=+6EJ
-----END PGP SIGNATURE-----