-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: mcl
Binary: mcl, mcl-doc
Architecture: any all
Version: 1:22-282+ds-3
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/mcl
Vcs-Git: https://salsa.debian.org/med-team/mcl.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-ocaml, zoem, tidy, aephea, bsdextrautils, dh-exec, libtingea-dev
Package-List:
mcl deb math optional arch=any
mcl-doc deb doc optional arch=all
Checksums-Sha1:
6f18069ac1840624e65ff2ff3af8d6c8194af7f3 1601716 mcl_22-282+ds.orig.tar.xz
8abecafa0d9b33fa372473cdc636dbb51aed9bd6 386280 mcl_22-282+ds-3.debian.tar.xz
Checksums-Sha256:
75824ac3b93be12ee82ff11e909d7f858a7ec3c446a3d62416a1159c9f09797c 1601716 mcl_22-282+ds.orig.tar.xz
079899b1dffb9779c93b15b1b25adb18a63b05df0b6d37eb3775bdd73a4a3ca1 386280 mcl_22-282+ds-3.debian.tar.xz
Files:
8b98ffb60c3a1c47a5d048fe5957309d 1601716 mcl_22-282+ds.orig.tar.xz
c463630a712e28549da317fa61aabe63 386280 mcl_22-282+ds-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmdpfyIRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtF9oA/7BrTkgVl+k6rBiX7dq3Yrika7304G8cJA
qR8DoJ6mhAAyQE8oiJQPPPWWD1BaqhPh03FsX2SY+oBl+6ZOR8CeekV53FDyZHan
xCeLuryrFLmcOb2Gwqm/lqQkX4D+5TIsJDL0dv/EJRBZBTkBrx0Pfy3SfRNhu7QW
H+hqeLApFFgrh+sDQwt8vWfFafLqnhFRDnBemDAwgTZST1/S6CCcanfQDisqntah
m1yruYwH5y2JmZoGphXxz1XmzEEuy8SyKB+SEGyMwTjsjHgQjPfTbOKEztuUCBw2
jp3QLPxep/bWjPfEuiomSiVNwLQEVDJjkbw4A2Ge/dJY+XivXp2QJUKKYcALqDE3
4mq5FBJn2EWBVnxMJ0NUdBPd/FKme947HmiW8VgGK21NhN81jNqG7FCp50ookUKS
LZ+eow2b9NaefBI/y9PuTeV0GuXHMzKezbik2/as2Vr2s7nfLKnuEzYDEN6lsP4n
pLNzKtGlhTtn6X937y+/2IsG1XZElr0HTituOc5SG5gvR2GZh12MO5GIVhUuF93m
xc+VHXftXAxx2c7Gqwe3q+K0fbOAMPn18z6Fe/1EfceHlBBB8Lqt0BHKfcd3Fkkk
lAc59aq/2UIgQS+HBceMuHhKvNPuEHx7n2GqQPh9za4W7D4Na68JtQy7qA+hoBIN
+p5l9orC9jc=
=nmJp
-----END PGP SIGNATURE-----