-----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-4build5
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
 14cb17a3b92b25b9cac70405abee643ba2e8d2d4 2496 psmt2-frontend_0.4.0-4build5.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 afc5114e59c993c36fd9f26298aa8dbc673b5c066e09de73fda38270ba42831d 2496 psmt2-frontend_0.4.0-4build5.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 09a871f53417ac9205ad0b6c9ea0a43e 2496 psmt2-frontend_0.4.0-4build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmhW50ACgkQWWH9vpxh
mAlOAxAAkk4QcG/moaDQn2uKVASQzPA9ev+XsxvOqsVlJ3eQj0Vmd2s3Da8wmqIv
5Rr2kZ9MN6Clng4oITqOOyztfHp51ULgYXBf3Vm10V1wu1VDTVvOHT0dVoLabZ+v
0i4u/mNWqBNtYZ7tjKIhG1f4nkXsu96eYa5wapbnAWRT2uQ546laEaJMWIpP5MTp
uFrb8pAFuOdBSKcYbR/JXZZlW7Rs3SnIxx53pYR1m/vvtUf1xJ5AJwDz55iDSYoV
Ql9by9QQ7azY61sf8t8eeOHHjewujN8YhtmEFGU0ZkEje9Zb9UtKCwtPgXFSzTRw
WtHlJIwWF2EJLEl+QroaMe/vGMp9P6Oo+n0SnNaS70siO4vAcGjc7goIYPTDf3E0
wZhGQTklZwkwWmCybPcoN0quel3GPrfy8rhPh118N0PxutKVYBFNsObxgsFomQhA
nTji0DG7r3BHEGgKk1SkirqGRX7hVeItTcb8o7cq3HOzwdVxcQutMOPwxJZWJKtL
vaxqb/I/kl7IRbst+LilYQ356g++3k9NBCy92lwS8hiIZ+/WEFh2FamkGfXGkrgT
0/DR8T1+MMt/xwcFTEVXZrKmCHNksIqgmeEn2yqMNiwEGi4e1AAuuznHcUt9zZOV
O/U8LUksdbwJFlxBmPIJduknUyBYrYXSr1FNIP6AmiA9TBzx7DI=
=R3Oa
-----END PGP SIGNATURE-----