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

Format: 3.0 (quilt)
Source: mcl
Binary: mcl, mcl-doc, libmcl-ocaml-dev
Architecture: any all
Version: 1:14-137+ds-9build1
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Uploaders: Andreas Tille <tille@debian.org>, Shayan Doust <hello@shayandoust.me>
Homepage: https://micans.org/mcl/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/med-team/mcl
Vcs-Git: https://salsa.debian.org/med-team/mcl.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-ocaml, zoem, tidy, aephea, ocaml, ocamlbuild, ocaml-findlib, oasis, bsdextrautils | bsdmainutils (<< 12.1.1~), dh-exec
Package-List:
 libmcl-ocaml-dev deb ocaml optional arch=any
 mcl deb math optional arch=any
 mcl-doc deb doc optional arch=all
Checksums-Sha1:
 4a8f8803e32ab539d7f6b2aad5b7073e30efae0e 1684736 mcl_14-137+ds.orig.tar.xz
 ed4fb67f467883075af4e32a2bfa47a3f4b49328 384236 mcl_14-137+ds-9build1.debian.tar.xz
Checksums-Sha256:
 cf1ffb7ae9a9e1f7c6111256405850ba5664fdfe28e5c837f9889b12c6fb229f 1684736 mcl_14-137+ds.orig.tar.xz
 ecc2b8f907d3b36fdbf50f9511276f9e9421968ca01ca1f1b718e50d13a7cc7f 384236 mcl_14-137+ds-9build1.debian.tar.xz
Files:
 3e317fcf44a7a680daf6cd34a581351a 1684736 mcl_14-137+ds.orig.tar.xz
 f50ee919c3793894f11f96463b5c2b8c 384236 mcl_14-137+ds-9build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+hgbIQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9fKZD/9uZVSf/348bk8lmLhzVpsUw1ltfc+S+qmz
en5uH27oNBDBf2XAou9DM9QVMPFiB+zi/FWgnngq0aGkJwSF+WY2MmvBI/bZRfq9
z7tY78iD9/0Z1AB3sgB+4IzYGG50aYJifq3dNJM3wDT4btzzyf8FcdpeH1i4EZ42
fmzmf3hhfd8KRpJhvC21zC/Al/ai0e6WpiLL1Euu3FTSinQi8K069lieACU03DVn
abNT7DwL0RlgKPHl016m+9mBFn2MukSAS70faxYQx1s9VFRmN0Yb7Jgm8GdxGW9t
iIMEyGFq0Usvo1tQ5NBq251D8jv7nDAsaSROcXKPzlufER5nfEvY3hrNzvPhVGuZ
EZ6a9hea1AJtZo8C0UPoLsS/Hb1phgnxgkNUWdAHZ18L77Iahhf6EqMRdwt0fjin
x4ijXCpGoz1iMoa+3iuj13vPgX4ZabVtTO0bN+JOC78qo9OXBVfL2p0suRKoLhS7
tVhqazKcmct8sEIWno3lk35pypi+3tqOd7L8AcpUMZbGAgtVY1PuZQQr7Z/9yRjw
eunPZ7iglEbO/ZjMSNsEl1vrIKL81lnZF4mZWdYcNvNSYlBiZ93FzGi1rsV5yUt/
gyBa275otMVDdejF6XGD8Q7x61hZlX41jqW28cjpiLtwxDAtvktZP1ZZ+4nlxavL
3qieTFF26g==
=oNHo
-----END PGP SIGNATURE-----