-----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-4build3
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
 4ceb0d1ae8894998a741204c6e0bafff08febd01 2428 psmt2-frontend_0.4.0-4build3.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 518adc50992fcf05d60aff05a5d474958dfcbb6de005ff9962811e9dc7c7928d 2428 psmt2-frontend_0.4.0-4build3.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 9363d0962372fd41a8150888501b53da 2428 psmt2-frontend_0.4.0-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhQbpwACgkQ808JdE6f
XdlafBAAgcHrsgta3rEuSuG653K1wIQbkzjPif5fWaQ9oA7i6vxEJZuFyijARYgy
UkrtrBgL+Ac0MMN+hzcBOHuoHz1SA3MYy6RjcLAPIDV3Y9KgnQ0rdlLKzcNIthg5
tw9rjC2G8OlndLYPjLAWI3bW54cppbzFCe8OHCGu4+/b7i2kg22Q+BvilImGEid9
9EtBTOmsMAgkbnWcbrZ/EHLraAgDD53LBtM8Q8co5QlvVXy1UxTQ3KmwrPmYGTHr
+gconvuyXS/YlrnZc030m2CEefXqQUaIWG6s7Ta/bPinGb0ZYHCmvXRzU6XJiN0F
D/KIY2KDBEhc2587WWQdlPZ60nomeN3Bbe83hrzJRLo93sEM+u6sZlJ/bULhH523
LezyB7G1Y1uRkDezNYpaji8WbwQ94eYNiPFtmHsgneUNuuFSaOlOFUx2R02NCJT1
oQuGTTrpG9OtJB+EDOOdQR60xZANKa2Q3GUn1XrAvYKdzhpK7IAApQACsdDYvxlO
uh5esWuYnxn2QW0RzN779vqQE9XUYCWc0+gcbB6y3JzBb4vSJ1LQH6GQ8nyDmsdX
7OyDZJ55r9/jdZCGVxacCKHkSEo4Twy9AgAmItQAHtT6yxtzQhrseeNokvEeH/Nj
15gDwQCgFJzoKu11YPvnL2Yj5N7i2frHtThfUTj6QvxOlgH2H2Y=
=w5yd
-----END PGP SIGNATURE-----