-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.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.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-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:
 1b9af210527afbc4a72fdb79157d741c990f58da 217753 coqeal_1.1.3.orig.tar.gz
 3b3d4d9e8168effed09f890b5f49818dbae9f418 2296 coqeal_1.1.3-1build1.debian.tar.xz
Checksums-Sha256:
 a81c21d31fdc888621570ba39a7d1e9bbf4695c112e4e0f8be638296d96dcba1 217753 coqeal_1.1.3.orig.tar.gz
 1e11fed2d9b51b44330a4bbee0700ab754aca229a55fba228d621ec063d31243 2296 coqeal_1.1.3-1build1.debian.tar.xz
Files:
 3c901c58e24e003b268c9984e02403af 217753 coqeal_1.1.3.orig.tar.gz
 025d6ac8dde74aad6a83c15300c3461e 2296 coqeal_1.1.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sKwACgkQ808JdE6f
Xdn3Vw//Qot95uHX6qUuTBDGalrgOTIQAo6gg/5GSqWm2fNqZXD6tVX6jfE9fiQC
JIoZc+5DyaG2ZEbmVOG+9NnXPof0Lv26mjAIkldxSO3EfsLhBhmO4B17rfj8z1JA
xRtl62aQyX290VxQNchDEZXL42BD4wsaO0sVlqC9+HpmRGR1iciahyoLrc8OmXYL
/OU1LqVU+eZtCeZWa7Kigv+j/bwm1QaFxL5rnRBgHyKHL9WBKvoQvGEXFj/Jos/f
npkigEppveNKFHXrwE/AoPHCmwB799bNTXBtw+MPPh33GMooad+QhT0xm/bpQots
VTaBw86lv7BQRNA/ddpjNySBXMPZximwv2d/lV17yXaJlFhX1zTM2hy9PV2EFVg4
yEliSfedOjrZ78MImI7Mdx1HyMdP6nXcfzfVKa4dC3Mwc1p1OAgxb1wcvejDgdiA
slpr7mdHR4uL86YtnmnwvnOrMaDiukBbpS3hIfUSCMRP0oR1E5WxxcE+wZkAzXPB
WKYmU+H4yAQG2i3OR2isolaAb2ZP4EQd4EHYJ1QRmU1/od1pt5uvWSWQ9ortBm/s
LcC4lENtaHeDxbprIvWC1s1+LYjOBHsxI74F9OPTllvz7hvapPnsvgvE3yqA2rNm
oP+H+S6c99gwbwsUu6m0TgRnIrsAf7tjqTuGgRvUOjgeK8ORTrQ=
=pjxH
-----END PGP SIGNATURE-----