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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-1build5
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
 571663f277d1f97a143a683bc793e289ec2da040 2568 coqeal_2.0.3-1build5.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 87055b8ffc77c53023037d61dda5eb7a255022a749578a11f91543617dbc7c92 2568 coqeal_2.0.3-1build5.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 e655fb1f76a4898475bd8e5879a8c6cb 2568 coqeal_2.0.3-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeyy2cACgkQ808JdE6f
Xdk1EA/8DGRRPGoBkEcQluUWyOj0DG4woAuXCdHLdtcLlqisnoEiO8uW3JTfQBwk
GahRGdB0dlZehOCxJgRRss5GdZtjsksv5w7FujhD1dF7i5WaMijbcXDJ4vYKs0dd
gCHJw4ZYAIMz++h6rSsvcOqmtO6/QZjJ9+SAp9vFTIepr8+PKuCQmuRVNy0I3vLg
g1DCI+U8wFpFlusJWaXPZ1YLOQIJBp1lgz87QikXQ93MDcS9VcRSEabxh2aYkU2t
xlAIxy4UD1IYNXaAseO4wwmc8hCEK7kV+gRPHs1UCdTh2lzCizskYG5RtUQFNnms
upR0dDDOON8p6qCsBpqEyayRqt5axybWUIrota664FHnfibQtvzBdif9KzXXa84F
a6oHLAMOO7V29krLDzSXSGrAbvHRHtNLv7X0Ezp6LXU4azBD9wUdth97c6LrkQRD
0M0Ya/6Wn9mULgWDt3tI3ETtlQzwN3FjW5Kfxmg740thbesfwG0dpiectfx8jUS+
2LdsNH02LmHF/9h8dV3Z4TVLXP87jIM4NikCjnDRIIT5eVlB0xAg6KcK9jSYhwU8
Y397xu6qUxU7KM/BWITq8EWRA8PNy8HdQfqnjSPCWAZbDX/yzuQ8q0/ud2sFV2LM
L+8xPvAOcc9Su5U4NO2waHa9uGBFecOpEdVcsdub4F6j4Bie1C4=
=Ud1q
-----END PGP SIGNATURE-----