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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build9
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:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 4bcda7f8ff1fa13417eef979a22892f8aa420cb2 2644 coqeal_2.1.0-1build9.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 773801b1273cae80869b59565829542286c197712595fc05d4f354007a38ec16 2644 coqeal_2.1.0-1build9.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 2ccb156644c30bce287da3703b52283a 2644 coqeal_2.1.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmt2UEACgkQWWH9vpxh
mAmwFxAAg44mKgJ3P4xCw+IlZssPkjLUVoiC62kKvLU3Xm6mHR24RhmFGfpj0ukU
ynuSaW6pA1gka4BjMrIXCPIq1jykeEitQ70jQ7zl27L4YW5GIiYZ2mkhHWPvvzuH
OVRxQPdVokwSn35BI25rOV0LkB310km1uO6TH012nWlCc2Eat/GIxRd8FgWBRMde
8Xub3lWk9JJYI7ImzTfv3yCEKyzj06wDQx+sl9jTYKB6x1FmXHsbzujMbZCZCRYs
DjwlWD+uMTa1XfgmYSqjNNMkV4MFfNM8s6uU1DxrUZRPdBo1bVPf7lJREGIs1CWl
Rf1oyZdh2X1J/0n8hYGCZ7i8S3/aK/bcldJOcH427uRCy8Dys34Ab5CQaAQXN9AE
j5DcUNccHxlC9uEm9vuCh/3+YHkqVhMa9l1LS7YxM4u90elS4vOlS62+LVBadeMV
6Pli5fdKlycWPliEg9SI6dDVQ16TA/zZ5NmjsSoAFXYUpzxpqCwJj7ijEHJMtHbb
VXftQs7TDJLJk97wmNWvygb4FPjv/L77WoMmZE5WgKgQOW7Czc9uhbmXeOhvhLyB
SUkbNxxRIm/0N5lXvq44po+751ZKSs5YxJ7MnF++/p9AE0NfSYnvXhqPfzyqr1X9
3KHoNZqWvKm68Pdv/Zwd/+HwVhAzi/lmpPePth2vpNbLoPjuimQ=
=lhyL
-----END PGP SIGNATURE-----