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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.0-1
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.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 bc0ff3329fbb594b0bb5aac417ce1f5bcb9ec1a3 218807 coqeal_1.1.0.orig.tar.gz
 221b5907984b7750f7d85a704a177263790e4109 2068 coqeal_1.1.0-1.debian.tar.xz
Checksums-Sha256:
 df9e00e3ba19592c867aecb134e5b12d5f998eb726debdb0dc2e83f588f7e4db 218807 coqeal_1.1.0.orig.tar.gz
 fefcea1baa4240cfe44adb8530b576c11ad67689a17542e11292bf7360142877 2068 coqeal_1.1.0-1.debian.tar.xz
Files:
 4a49ca52e0380aef250b4143a5215357 218807 coqeal_1.1.0.orig.tar.gz
 57719e45217073499d0fb9fe0019010d 2068 coqeal_1.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6rNISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKzUP/jOD5Hl3pvmX5PhyblALh4AA4OrIZK4B
HxyPAatoEk0QNPNlu4DuuDV5C1ngafsbUCW9CGI4j88uDR+WpwkIssQsPx9U4lKO
z0b1k4ttwJJHWJC7QX9FcR3sSMs0e/+NKcJZcA38Opf4M5Kq4DU2eWMPFK7PLmku
yOVdWu3SUJ7WK6HD5/8REgnn4Ei3+h866Cebac5GIzLaiVsm3B0ZelUB9/mSG3at
Z1BEZE3xtUqZfDLcM2/FSpcZ4uwa+WY5hB8qsNripl4uZYOKjtzmezwMfvim2JZH
y84+sXQ/0JLP14GmG4Oc0nzx6/3YPjG5NrlQ9AY23uO/GVtvL+nrb2yuB7xCv05L
LrKC5wTxMny/rhM7uKLuyy9sm5UzsBjdku9zY9m+zYHSWuDrrfkmG1xjD3my2V1x
0Lw0bhQA7M7lAKgVBHuFlT+iEV9Ls85JCBF+oCRbjmtPI0tmH00XPGsKO/Ys0qsc
vwgW+6PC3i+qjw0p/ZzrbvO+yfAFXpj6BrzSQtYiqJbJ22JhiPmwK9ICIocLxoNG
AhX2dPq3ygDrux7nLCbNyucRRd9Js2xHEqg2X1bta+CRwXWhmNZ9X/ZVFi4ir5l+
iey3L1QqS89NO34rHC1aLI7d0M5jClXXgaqhToAW7IYpWhH7gB15kxPqdWgF8aSP
iQJl0SgNCP+7
=Qik6
-----END PGP SIGNATURE-----