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

Format: 3.0 (quilt)
Source: mcl
Binary: mcl, mcl-doc, libmcl-ocaml-dev
Architecture: any all
Version: 1:22-282+ds-7
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.7.4
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 (= 14), aephea, architecture-is-64-bit, bsdextrautils, dh-exec, dh-ocaml, libtingea-dev, oasis, ocaml, ocaml-findlib, ocamlbuild, tidy, zoem
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:
 6f18069ac1840624e65ff2ff3af8d6c8194af7f3 1601716 mcl_22-282+ds.orig.tar.xz
 7fba2639b3332031b87dd89396682f09870132bc 387896 mcl_22-282+ds-7.debian.tar.xz
Checksums-Sha256:
 75824ac3b93be12ee82ff11e909d7f858a7ec3c446a3d62416a1159c9f09797c 1601716 mcl_22-282+ds.orig.tar.xz
 761c5a7e34cd3cbbbde61a4f9f5bc6549b8725d04aefb9be3ca3a58ec7581596 387896 mcl_22-282+ds-7.debian.tar.xz
Files:
 8b98ffb60c3a1c47a5d048fe5957309d 1601716 mcl_22-282+ds.orig.tar.xz
 dbee4be4fec7947d03892137a1047eb6 387896 mcl_22-282+ds-7.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmruBbkRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtF1YQ/+KssagtUJu0KUkQr4I6oAhLDJmEt+x+1U
aFjWUnYWmP8wLcxYY9HcD5CLXmPKvbyou6Qz0RAPEfiyUVEnKsTwSQdk0WgQPyt6
CqP4qrCoQ/M7GuyAq7IcCLyjS0Skni+ZL3loM5vfkxPw6L2ODI5draEkRb/yHywz
GkBNiR3mUuZujdMxdURWJWCXk8/WrnN9ybRt+bc0uvIvtSH2uAJn3yVBkcQRboMR
XcYwvv19NFp/ts0gckLM0aJJ20lrOeBqVhuU6dNaXeKurhsHnCt1PMLuypc5cC98
cAB8wZXMSsIYvjQ0DwlnYc0J5lyjjrU/AVPA7od2iBx1STmmSwYMGUaSFmYWMI1O
MZWmdIKeTIXYThpvU95Nb5AejHjgBWF4ymoToBYrOBCb9CJLIijRVMYIUMUdAr0k
yBnJce2/T6HqM12/kh71P01gvKmjs32cHMvmroYQpfesUJE9MgBQBMtFFActkrCu
Jb0q5vXLVnFabQmOWOfkP/cSWHSoveO/PWsY4II2QHQIGWlrZ1RSAYhJxMjFcVZD
Rnl1ujgQ3pBxtltGZhlzBsyTjmvcDvbkOw7jUDy5P94w8wYiT77pCp36kjaj7Z11
NxBQkIyQUQboMpKZiLwPue7b8vAIuQ+nN9QDktgnte/ZedRGFXJtT/CiKt1Nl6yA
KGmQyTj+mHc=
=MQw1
-----END PGP SIGNATURE-----