-----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-4build1
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
 260f330e9aa50fa1363ee2160eecb7ba28a5dccb 2368 psmt2-frontend_0.4.0-4build1.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 cd82bd17fd4fd18cba8db406592435d6ba91b2a20545f68ae1e45b557a54d9a2 2368 psmt2-frontend_0.4.0-4build1.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 8796f4cf71103d754366fdf1975edcee 2368 psmt2-frontend_0.4.0-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2DD4ACgkQ808JdE6f
XdmISQ//eH+DirZzbP8FOHZW4yeNyaH6uotrj7FDxY/sz9yowDbZa98EddVRVIYx
yUUQ11UGhet78Vd45te4YLRa+p3c3if2q4DlR/Pq9+uh+P3ULFD8YLPyy7r1G56W
tl7MvKcjN+UbwBEEqWoIReYHy/C2eKfSHWuzcSBkizV4hZLfsiwkJcW15oQnDi5/
8fvnc/1lBcYnZlY3K3f30Lc8Zl+pQgOtZ6YDGzNhK9GaP8XhweFaT2Y4gjHgKfXJ
tUcjs8UXqWEzbmVYcbYI6gvWR+MULVnVGgWefevVjYjnWA5Dwj8uPkyGjRWKD+8W
mO0noJgIOqtsB4yjGHODfMb5nM0fS6xmlQW3Sa8GxXeTPwYl3zHFaTyroOzakefu
YBd3TUp9kjmFKxeGthmUdtxhHsqUYIHqyiTMDgfjEa7t7Don1i4WG8/Yb3fQSkzU
cWWpL14ILtbJpW998IYN9FmgOwwIqN3zkmVpAKb/qDY5RPhiA+2d0thT94o2l9OF
Fs6TbDs8+mIXB8fvVPkIpGhJk2MzmKOg25Oyy/vyW5hSrAIU+fwbiWESGz37m6s0
6eC8ZJObMWylJ36xicIPABHb0gSoqV07R3P5Pi03RzeNCLaC0BxuO7sZURTvSnwU
5Xgs7iK48DdIWe7Mn/ZJfEUkm4qXyw8cczEZUO5avvDE6HCkEpk=
=y6bw
-----END PGP SIGNATURE-----