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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.1-3
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.4
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 (>= 9), 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-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 a4dfd7b5fa0188702742e7b9bd2bc346f2d16dae 227388 coqeal_2.1.1.orig.tar.gz
 0ca4ea79f2ffc0e733c9185930fd372e384a5968 6724 coqeal_2.1.1-3.debian.tar.xz
Checksums-Sha256:
 be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d 227388 coqeal_2.1.1.orig.tar.gz
 1ffb22710e54f202306a10e6da2f5ff1680e1fd26f479d767048c3a89e9c3b90 6724 coqeal_2.1.1-3.debian.tar.xz
Files:
 ba3554ea48fbdc11d866b0b14760c6fe 227388 coqeal_2.1.1.orig.tar.gz
 28ec562570ea9a0246a1df82f0131885 6724 coqeal_2.1.1-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpfFjAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUJvD/92pnW7lMd8qWrdLejVCfCh
nSMTvXfdaOzFr32lcx+BIfZbmVHS440Vi0QsRJLXTdGr1plJrAqRJMKN/W/Sw3Hg
XMkpfTGSisj03oayDpM+nQifH/MnKl7PpdaawL6wLsWRDPihfwmuv39W0KSPAa5Z
rn3tCPLabTdJm3QiZqHdy39tntk2DC4zdvfTOb59nvLluZ15rOqce/Gu0Sp0r0Br
EJIXrqA3FHkzmbZBnhhRuz/FzIJYO79HeIczw2nqCW/Mg8CxiUlPKDmcz76cB5zz
tOc3MeDiIqW2F5KKnEXA3CXyUOcrzv2Q1wTkTIW47vqeAZwXyVDqIgxwoTDC+fPR
fOQ9F4ijLKUNpjkrZcqVSO+ilWjvg/Fi9lBRg3jFFD0b/HwRjvHHst6InZ0P8OCk
OsKVwCgDPM2DVtE44NxE+4I+A5zWKlkytVaeGkyIJ4Co/kCMsuC02a7ihXYEboZ/
pSEsLT/oOUJgyU5KiPpe6RtQdpHaVw609HFORKUUF0OBFNujU86tsJPq+JRF8UE5
5HfSahr4BL1h/FMHHgxCP1nWLSGCdrAD34pScE5cPt6zUZJ9kvvlJwSmdoOvZrLE
0U9CKwssKTJuOSAphMNKedUm0HTGXirbCDrpwKeehnEhkdjaf08WspAJeqERwAWc
cDHBn2up/dbEsb46/hvALw==
=i88K
-----END PGP SIGNATURE-----