-----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-9
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
 a16fca3329e3c99552d22e5cc72f57d0caa49650 382956 mcl_14-137+ds-9.debian.tar.xz
Checksums-Sha256:
 cf1ffb7ae9a9e1f7c6111256405850ba5664fdfe28e5c837f9889b12c6fb229f 1684736 mcl_14-137+ds.orig.tar.xz
 92c6cb2c2779edd8763ca9eeab14569eb9d6689537d6747ec787410a5df8fd92 382956 mcl_14-137+ds-9.debian.tar.xz
Files:
 3e317fcf44a7a680daf6cd34a581351a 1684736 mcl_14-137+ds.orig.tar.xz
 ab10048fa44af49137fe789ed59339af 382956 mcl_14-137+ds-9.debian.tar.xz

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

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl8YQv4RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHpnA//RcbmXf1q9JRCw6bUWPzWa/0ESt4z1Ayb
VSKTCWp3aWf9/Kn/O+vjvbAl1q8S1FmPpUGh0F5irKDgTsljtT/8c/BaZ1ovx5IN
6P5FQxF9K3v8mBF62i7p9ns7h4JezoEsE7aPsZAV0TM0KX24NLRhzXsDwj9yPP+N
EzcuaKBBIOB9xiPzzg2vh5R/ICko51UypW4cHMV7buYFgnLecM+s7liUA7pOoFpc
apvCnndUjZuWGo9lWt9czWZ0HkOlCwqPq6etRUh/00XLhmuGTwg+LEnbazrhZGrR
gVXiWQE4qROrLnKiJQmBwhj/vRZnKjJX+inm3G05N7tqk+D20C38FedxvTcF43lc
ppZ5x20xi18JjCeVrPXiIHRQw/CR1y8SmjYoPDBpDD/KQQU58ipCg5ZWQONHcw9n
KYPtz7JWcP4113TF9sYVyLxZyfxWS5fvp6GQCOu36qyAYgippN4lnZIZ7lQkRxR0
npklJaNrj04DyiPCw8WGuU07Pjmn672k1UVVafhSy3Uz3W+1RUp4u6tg59p0SYg9
7jhVwAf2WqceeD8TZ//f3AYiO4eFUwtfMBCo4+6qdGG7HDMbxB9z7J6UUf9/SEbJ
rpYHJv7liY1chugladQz8giluBhrTKszeqNlFLSfACp4eJNqjAaq14wPp5oFD0Eb
s9w/IWEoPG0=
=bH06
-----END PGP SIGNATURE-----