-----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-9build2
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
 177c621d5d73b022365a547043b6e12715877e68 383868 mcl_14-137+ds-9build2.debian.tar.xz
Checksums-Sha256:
 cf1ffb7ae9a9e1f7c6111256405850ba5664fdfe28e5c837f9889b12c6fb229f 1684736 mcl_14-137+ds.orig.tar.xz
 f591afe7159eb901356cd1339e5f954b1ef23b25d6d0638b1a6c98cc0aeb039b 383868 mcl_14-137+ds-9build2.debian.tar.xz
Files:
 3e317fcf44a7a680daf6cd34a581351a 1684736 mcl_14-137+ds.orig.tar.xz
 294abcbcd4014baa4af77a0e5269422c 383868 mcl_14-137+ds-9build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHwKHkQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9duUEADCkf+Bgq/HK1+PAXsNt4vajeq/DdbLXgiw
hza2kg/A+zJISMNSsI6+v7RHqb2c+zL5qsj+8IYPavtyHJ36hheoHQYoqIzUs7He
RMKDRs36wZSUwd8d7dI7Vwz17T958i4K6rNMnbp5IWEYO0GOJQSsyPTW6xJqbU84
DKNlQhxRyDW/LX7LlSzEBZJTlGppfpqeAquO/7LEMUtA8edyFk4AQbCbMRtYJWH7
P2+D7KROHlC4Ko8t4BjyL6roaKO2coawpHz8r3Zkxk4zYL8CXLlXi5WVBOfsjSyC
Ty3Tc7MwRE8ypla33kSWmwpe7QMKkK/MEZtWeI208AccYhHjRnFsIriBIpGMuaAH
vo0i8VOY8hS6JDji0bXFaQBYNiw7RRgocVX1fM5Hwv16NPpDXvOR7AtLhEZ44oZ7
JpxoI7iIXb0AFqnkbElnaaAhZng6AozqpLhrlKIXss2AXPLJjpxZ7dzO1+q4oF80
+SbHXANrcysI9PPF8kQ5o4T8pv5czk7ejZ+bJJuzobN7IybNwHnGfBwKBVRm4R2/
CGrvyA4MkIqdKgJaF1LueYBwtei9Cwzv/0/89vxUmjf7Y/CXd015JuWP4wMN2rvO
IxulVUxtcAFj/V5UhLNdQ57NdPetzGuqTiEEyNOdjXqiToyWmiK9vFI1l9PIh71m
8Yarr2TL1A==
=RBrH
-----END PGP SIGNATURE-----