-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: psmt2-frontend
Binary: libpsmt2-frontend-ocaml, libpsmt2-frontend-ocaml-dev, psmt2-frontend
Architecture: any
Version: 0.4.0-3build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ACoquereau/psmt2-frontend
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/psmt2-frontend
Vcs-Git: https://salsa.debian.org/ocaml-team/psmt2-frontend.git
Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), libmenhir-ocaml-dev, menhir, ocaml-dune
Package-List:
 libpsmt2-frontend-ocaml deb ocaml optional arch=any
 libpsmt2-frontend-ocaml-dev deb ocaml optional arch=any
 psmt2-frontend deb ocaml optional arch=any
Checksums-Sha1:
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 71bd0075491414d7b8c1643cf979335a4b92bac0 2324 psmt2-frontend_0.4.0-3build1.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 f20132e518219640b0f98e0147fdaa4970d7d2e0dccf6513c3efc687e182920c 2324 psmt2-frontend_0.4.0-3build1.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 15ff736283d7f8895bebe76ceda56235 2324 psmt2-frontend_0.4.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmVEnlEACgkQ808JdE6f
Xdl52RAAqjvzGaVot1X8sBlX5CllMzHlSRnVmFPHH2k39oMVRRCWLhm351FGrUna
Vgh6FWWo2VJVUSsiezMJ6rrUbdDd0Hp5RRl2acUhtEokbR8RGks5RDbg7crUYaIc
rjH5ZLcj9/+rU5NUaK3Ddt5rJ6YDxThf+eOum+Z5ZzKbgF4Xf1eGnDam3roKpCsj
i+wn6pcIBrUzSf4s/bqMJR73W/pXYoIfej0OKPFoU3XkCAsP9jydGJ/jRY3HBC0U
AlNG/6cHU/bzBRiQ5p6Zt8L6Hvn4oUy14AxEeHhVr5p6cKob8CnJRh7Grn9KFMgX
aglaPLLTtWKD0R28+xKaYCGaxmBHkXuTgPjwUNB73e/7yHTdOfUqlmT/ARjDtOSP
7ddlGdxFkH5IKknZ0wZpzJ+RJ8gnqeX8/wji9IpTrD//4KPpi9rP7iDuYsaEdjY4
CxW71JNisRGHpZCO1D/hL5WS4vMDXA9kIu9oNCmGUNzr4V4zv4yBpQumU6Vxlak7
20+9ABUXcknCA5nMw22KXVDu3LGRUR16/gAdQeb6zzbGBACCz6ieeV0MOO+TiSOD
af+23sAcyZlXXqP0fn5R+YC/iUiPtr3VFCccniUge4+f+E11dPqZeq1eAaCdMWmd
rRSAy8LVd8P7GLXRJMDDgYXV4gahs6DWujf/qXyUUnl3p2Yu5xs=
=d5w1
-----END PGP SIGNATURE-----