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

Format: 3.0 (quilt)
Source: mcl14
Binary: libmcl14-ocaml-dev
Architecture: any
Version: 14-137+ocaml-2
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.0
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
 dff0829658487f694df0ebeb7752997fb2c4f1ff 53212 mcl14_14-137+ocaml-2.debian.tar.xz
Checksums-Sha256:
 ee12d3a22da0b71cb5e3151936646f98a7effcd60b4eb1cc4e333db3e46bba5a 1684744 mcl14_14-137+ocaml.orig.tar.xz
 f6b53e3365dcc395690572f48ae9c2827b64ebeab52a1a0e1bc9fbc5e355f15f 53212 mcl14_14-137+ocaml-2.debian.tar.xz
Files:
 52f108dfc578823acce7c8193ea63a20 1684744 mcl14_14-137+ocaml.orig.tar.xz
 a9c51a161be5267591ebbd998645c8bf 53212 mcl14_14-137+ocaml-2.debian.tar.xz

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

iQJCBAEBCgAsFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmZEVrAOHHRpbGxlYUBy
a2kuZGUACgkQV4oElNHGRtHGiA//XkrkBjgIbdi2DYwQezAij2NTXGd7hHUhSFr3
YdP+wy85M3zTXQodLxnj5g824k71Y4oLWUDC4twFgzIQQwR/TJp3wC3F2RTu2G/6
6dk1bKBwHT2UE6GZvexGMN/x9Iufb4ClsLywLzxa/Ah83ogvBN3PBtMS0wCTA5/f
c+GZjScNNIrz9Lgy9DUGmMA9MBviFMs56pVxLvz/N4Ub5CCQS0JjQZ8asXnesVha
LCqA+x2Jwo32jR51CMnCjuiEFbut3ZflAvsRkwA4joPCSkJ4z5fmCuOhGFsdlL8I
ey8yXOZZBca/Hm+wMcP4zETyUVr9Gs6sGhy8HNOEC3qAYxxiCHK/sfUBCGBHhL45
evBxjt5zJimoPYOjixxrMyox6A/n47iai0a48+SHExj8iQv3GYWP0kkJSdRMQZ3Z
EUgGR8e1FgZBIjQhl+iy+YeyZvnafXos6MgM25FaU2dedllLmTyF6PugMsZYM4ER
OnqEcSi15ePQ8KYmnLBHgS4PHMHOjMkgHYabvq73nuPGScF9KWnB8V4m7fJXOCGI
fBT2Vbrq46A3qj7JZJJtAZG9URYnyN8mx3JPzbbDMyW4+9bHglG7DVnoZOIR8/Cn
kgInQLtUlLKToRQxfHa8TjVmDY8rVrwdSE2YrYx8R/IGgOwsWr2Z/ddiBXRZTgyY
gZEqU0I=
=7kjI
-----END PGP SIGNATURE-----