-----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-5
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), architecture-is-64-bit, dh-ocaml, zoem, tidy, aephea, ocaml, ocamlbuild, ocaml-findlib, oasis, bsdextrautils, dh-exec, libtingea-dev
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
 d97562279afc7555521aa6ac04161a70ba7318b3 388284 mcl_22-282+ds-5.debian.tar.xz
Checksums-Sha256:
 75824ac3b93be12ee82ff11e909d7f858a7ec3c446a3d62416a1159c9f09797c 1601716 mcl_22-282+ds.orig.tar.xz
 5478648f259651bca5da380afba58b6dbd7b1595cda95253624327f799450f41 388284 mcl_22-282+ds-5.debian.tar.xz
Files:
 8b98ffb60c3a1c47a5d048fe5957309d 1601716 mcl_22-282+ds.orig.tar.xz
 5e08fcf6b34f7a1fc51667da4e4ece45 388284 mcl_22-282+ds-5.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqzktYRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFrHw/8DOBdw9e20BbMeXRbffO0GW9BHtlPzJUT
eG0ei6Bx2nve8fXhAMiMmL2B85W5HbWmODW68sXIEYjXJJKuPJLIxTG4eO5C1M2V
alKdqVSGxL5m9FhuS4zxSyEu5824+liDlfGpMU2wC9NPdkdTWxY6hr55ffvoG9a9
ZViKq6E0HZT8y2kL1+W3sdh9IRHODjwgyo74Aryb1A7uylA0ZLtMW45KcZnmn4PS
NLMoaSQIWRpxeaSdkbc2y+bcOZpI0MQCvogQ6gpUj4rvzT7ThOoirqEaHz1ZnBgD
0oyskNO9qKvDjUtxN1JYEl3ns0lYypbC4ZSfbVmwavJKvA1wGJtGQ57KrsMGbSZB
KZ4XIiIDqLs/Q2i3+vNgUJlAhNJTzAj1Id7ufct2+1ScyrCJOtsRUkSTanI4Rm27
8/y1WDt3Ep7I5kBtUuALIQxAA+RaHjeYJ9TmS606k6kXpAMqtg3+WuTeb+2GrNy3
8oB54O1wV4X0S9v8S+/b06hjnHHUO+7JVOvQ39dM2CEFJogpMzfoXAomNdNHem2x
MVtIAEfRa3fA4EKGtlodUZhEIj1ZWmOCbbi/Avk/Wu+tRw1ENERU1tFiHKdGPTeS
+hYwP/qdIfK89fahUuD3vRgglm90kFz+IsOQmiHcisOMiGNANZ3e0qbZ6ZEJbTxf
iHdtRYcL+l4=
=dDzA
-----END PGP SIGNATURE-----