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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build10
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
 581eebaa24f0e822951239e592a318f1b991e07b 2672 coqeal_2.1.0-1build10.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 3c7b5ea2611c27273387b2aae46581e034d0480b6e7b2801d1a05a51cb9487a6 2672 coqeal_2.1.0-1build10.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 940617c2922a17d320dd15dee0bbe22e 2672 coqeal_2.1.0-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXVkACgkQ808JdE6f
XdnHARAAxgEOKOUZ8LDcGbI29P7PPHXEr8XOv2qnLGm9gd5mBJ1CcNijTomEVw0f
Fl9YGGtzg+nrBGWA//z1mAVM3+qvS4H2rOdUqrMFrVH7BP8/rDBxTD2HTz/Zjtvk
uO2Lr+9rlJkDE/UamEOyTA87ZJImnfL7/V5yczvO6jwget99VjjllwMb257D2nIc
QfJI151I3MJ3t4kfQ8Sb0rkZDNUAXKGtB/Q6qhE0xivYXiGSVs3fKiwZz08NPeS3
MGjrVHpw9CG6EeDtclSPh5QPMS1RTMD75ttlL0CKkORh080F+F9T5qjqoNQiPxgQ
eOf294FQH8OpPvdjh75hMg8Gzd9xg21j1akGdSH8hudfMfcL7MJM99VfUI/kSCCH
U5OxDEAzx8pMcoMJ3m2QsirT0l7376tcGIxAw2lEB4jindTS41v26GmwgA5bSwjh
cyJOHWw09RW9BlZTt0djmWr2yjOb8/X4fyJ0WK+PHmiyv2DPnoVzWv4hGIE10uSF
6n7TfXrRnXzW5p/p/iSbnEb39mEYDsewsvPwvMfs43MODeje9f5vkexAD1Rp9g13
GYrvW8LORqbHklnpGi9WUIovgSU87zUqnks0NQehepHm7ukqdiTCLNSrf0Ur2Lhu
K2nMC3OtEuPkERFyfCaVguqeLsP9BeeNIRca/JwVKlSb5nPK634=
=dfGD
-----END PGP SIGNATURE-----