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

Format: 3.0 (quilt)
Source: psmt2-frontend
Binary: libpsmt2-frontend-ocaml, libpsmt2-frontend-ocaml-dev, psmt2-frontend
Architecture: any
Version: 0.4.0-4build6
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
 67c90313714f479fc944bf27b4263754113b2b92 2528 psmt2-frontend_0.4.0-4build6.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 7d857044ffaf8fb8e0629f304f8316da21f230a295e7e6cc73a3460b24af76cd 2528 psmt2-frontend_0.4.0-4build6.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 4c6c59fc35d58782912d34e92d45856f 2528 psmt2-frontend_0.4.0-4build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpIv/YACgkQ808JdE6f
XdlQIRAAlTiorF1u6PKUaBfOoCExcqVlkBJn0YV7aF2dU2sCKdrrT+CZ0Trv2kpk
P7PyjGRTrwViagRyM9XyqFwa6C4I4F6FInJEkTzcpEWXbww+IRHo9JPj7Yyrsw+4
j6KwEkSfSsxdsIWmjEd68JmNI7sEjC+P16XGMW3rmVQWU4mG05i0oWtafaqrsQpv
y0lvl3g34EZjgN07zE5scx+Xg2Qw6HZmTDU8Og1sRRbkgxqGr075XXcg0mtTfiC7
Oh57E9uEDVprM0gpNoHZ/DrBdc+gAsG7v+QOdqZs8cd6w1VD8dVJl0mkwwnErYG/
LE80UlKdhvOlt73we/s4IHfxPxRtij/6JeeRtk9Nh+1ow58+3VGQOxN+vvWBhO3F
ZgdDXC8Qt3QO2jjygSSqG7k9vO6bmvBmTmXe/hc3aByzJP0Pv+Ngg3p/cSbkORJ9
1Mm4QT6SYfqs2cidkXiKu0b1Gwiz5ODxF+36ILwW0eGQeZjLjb4HFe2sTIPt5+Vi
Jgenv3IIoQRRT6lUjM9hi4DvLwIXyrz2p2tHUeLvdqMNY4UdSKpNIXhDIfLW2vGM
vCz6jtyT9PVNVQ9jjk6y3+vUMJWdTaVcTModUIrotja+0YFDsJaHK05HslZ7JFQ8
ed/VzCqJ+O29zXtp9RYLZBrJc1X0+H4c9XcYo0w/pxIGc7xQZ7g=
=0aI9
-----END PGP SIGNATURE-----