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

Format: 3.0 (quilt)
Source: mcl14
Binary: libmcl14-ocaml-dev
Architecture: any
Version: 14-137+ocaml-1
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.6.2
Vcs-Browser: https://salsa.debian.org/med-team/mcl14
Vcs-Git: https://salsa.debian.org/med-team/mcl14.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, zoem, tidy, aephea, ocaml, ocamlbuild, ocaml-findlib, oasis, bsdextrautils, dh-exec, libtingea-dev
Package-List:
 libmcl14-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 e31df06753f9a44fcd9dcb37d61181e494b94cec 1684744 mcl14_14-137+ocaml.orig.tar.xz
 e9f3ecf236303e7a117ce9da8b4b98a39ff7fb86 53184 mcl14_14-137+ocaml-1.debian.tar.xz
Checksums-Sha256:
 ee12d3a22da0b71cb5e3151936646f98a7effcd60b4eb1cc4e333db3e46bba5a 1684744 mcl14_14-137+ocaml.orig.tar.xz
 2c577e705ff927506baa7cdea699c7a8fc9cc445c5b9d9e7852951bad4a36055 53184 mcl14_14-137+ocaml-1.debian.tar.xz
Files:
 52f108dfc578823acce7c8193ea63a20 1684744 mcl14_14-137+ocaml.orig.tar.xz
 74442d3bc3ce20d42f0a6e61b054ea42 53184 mcl14_14-137+ocaml-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmYqaXsRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHT9A//eIJTCcAwVgXjpifTymy//DtBXzG8B37B
gr0H3eHmf/4Qt4Sv6MxtcohbmVOzb3n5CSf/UL7/ICsNbCA31NSUOUuveHsCihzZ
Kp86ZaI6rXoZ4xXmm3C9lf/vCfgb64aTTINdpptUD7KwvACzMkU6Mh5dFKgxbJg3
rvjNEyJIO1zstgMS4/Y+05axBJPafAWdDoi13qaV/qWpU1etjrwelUG4lFIWCk6a
32Y9LRIonvA0PtEUEja/5HdWQ1zf7MD6rgX+T66AHPPZMVSa1Tu8rEfjvcrOUVEl
siuTSog7o+fpEIiXmlhC/EoWaVI+dTIOD4uvgAwvwEUeZSTnRGbB+dHxKyk1jugp
+VOtOLkoTae+97xTEgh5sbNhG9LfDy2JJx4yeGJoMCoe50dIectdZO91zCL7U8HB
oYFAu5qkNKAArTANeerXhtJPG0iqAo80AW1eZ7kwAJOELeNF/OHk0J7l9+kgJi9l
6utoNUz2yeyUEk2QnjQfr0ytlrVFpDlabhboUpHKCYlDJb372AM/AFxrJuAgVvw9
RaRvHzXoqIF6jVejPfthwl2wYs4g5YF55R2MGXQpHXL1pKgNbZ5oTO6VMqBMJkVs
GHPADcuqJuFxkxh6Bfui0ujE/lGlVyCB33XLGlbBlE4LABNTaGd2WpHxR9pFeHOd
cSlqwEzWZio=
=JplS
-----END PGP SIGNATURE-----