-----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-4build2
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
 a6e124a6a6b23ac3d581325cc574b37d8009b217 2400 psmt2-frontend_0.4.0-4build2.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 b541f19dd5075804a753bd63719be083c222693d0480159de75e61b5b63795d1 2400 psmt2-frontend_0.4.0-4build2.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 f15957dd883765e3b7bf1d8841075d99 2400 psmt2-frontend_0.4.0-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeamH0ACgkQ808JdE6f
XdkiBQ//QWcicdmkppmq0aSNhGkBKHrC9Bwgix4yxvZoL9o9mrWjZjFLqtuIxiLz
y7XC9hTDgbUOxYbBGCmaTKw3otd2gazIt+AXYsTgfxvBvpcPrntTUKZ+K/hlU1tb
2MkBeYJfBbUcUFq1fGd5nYr3+r3VYvIo9+bfUiwbUyNwxkkIMjFYLxlTn/ext7AW
hB64YiUGch2pMmWmi0VcfChXn1G71LDoJ5Fg4ew+6QVGDuBc7YlKQAq+/QUrz4fP
q7HmB71exV1gTDN1rFgatOEBrabuu24yJ7XUSknFEd3mXBOymB82UHCX9e83Cto+
mbg8dNlOJr4VmyVbWnsWdIj8V156tSpEJsdUeaOLEdezOCiWb047jhzTE3PSZnoL
D1pW0EvmJZyhVmXd1SBCaze8ETxIWktKNxJd3VTdcihNxhKviA8yDuZrOY+WQWyD
RPfbjFyZNDwRMMJ78n78KKWErL0hw+V6u6mfBwKs3dQP8n/hS+j3pUaLR9U/8xoH
Jj6UHF2l5U7T8aCOX7pD7lrpSPOVadIxCP7zyerOVBxYwax1FpUFnHJgAjgvBWmh
nn5fyZvdXbbrepREncE1X1rAguhY0lKCieofTzV58+3JT9IBkb/Xl8LPsBNn2Miq
KDd0en8SXhSp4O3oMXDHgEEpTA8qLIYoXkt0xDoUC0dyy62XoGQ=
=P2up
-----END PGP SIGNATURE-----