-----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-6
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 libdevel 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
 29485da2f2818ee693005afd6b24a155ad49afe2 386116 mcl_22-282+ds-6.debian.tar.xz
Checksums-Sha256:
 75824ac3b93be12ee82ff11e909d7f858a7ec3c446a3d62416a1159c9f09797c 1601716 mcl_22-282+ds.orig.tar.xz
 d6c8223d9eb9d09b29ba565fde4323dc9eb0b8e4765852f282e8f1e892f33a41 386116 mcl_22-282+ds-6.debian.tar.xz
Files:
 8b98ffb60c3a1c47a5d048fe5957309d 1601716 mcl_22-282+ds.orig.tar.xz
 06bfb1af5da174ac9890082c806fef72 386116 mcl_22-282+ds-6.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmrt6DERHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHauA//b7QM82vG1to7svX5ZeVS52br7Vc3DKiI
1k0c+WARFpIym7AO7shFk1OdiLq5FO7Pg42VaipcE7U4QAVykXzgI1ZhdMrFq1zF
ZWZaqtA8Rt+R/XX6hA2LZfvhep6JFtadPHrPMjlAtnCbeXOyDddHHDSbb7DZXWKd
zz0lip6+VtjQwWvsa/wc5QCrstaY8lwV/qQsfjihSsG4Zv1yv/DVTZkNXm2gUkOY
PbFY20MnTYY1dhb8r2eE36AQ3NyTDRaKZ9S1Qs9OTP4zzh5iBDsIQAXIO4XMkyxO
J6fE13478OMeGsYIJIEcD+TmWbuxuhuYTcmjXlfhCpjfjDtL5FKrJwVfbw3u8bn8
LPFBy5eMMMUMwxxFrTQhFOm9hjQLez7ivQFgCaDX6/Jvr0hWw13riFYQvNa3ULja
CnbG5SZJZ4w352lj8XlX74g5i+T2Afp9zAce7ufYCvLbbuLlomM9Nm1fW2N8OgDf
3Ye2F7zRROwGCKL4qSbvj9N/t9m4C4TAwhaMFFwYJ+qwCrEB+Uxs2oYEb/jRvcvA
b3YnfJKj+wNf0At11YpY8kerPIF+bYMjXBp4thOUKk+UUPSmHITxo+zL7XrNLWTy
0QYKFCAr5tHi3NDoNzB0bettIFR0ZwgCDamcK5TwjNNrm8d+oKz+KHJHdyVckBX6
DxfNlKufeCY=
=Ukke
-----END PGP SIGNATURE-----