-----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-1
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, 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
 443b89051e44e1bc3a72c3ce2afff150294ebd47 2192 psmt2-frontend_0.4.0-1.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 59c538aa832e7d786f10e2332aa4ae6d5480298e72677f24a1a6befefc342f43 2192 psmt2-frontend_0.4.0-1.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 bdb16904f5b5ce2a102068dfbcf346a5 2192 psmt2-frontend_0.4.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJdeCQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhe4P/3x72OJuHGcgsh7h8oZOinW7ifYIX+hf
dKvMeETerKbAOKMg35eAD/ypPMqUJOooWszgapYFP6c6g0PvFJocSWFm+gMRc6As
DXX/66qtDr09NbYZCIkhmi/ougJsNquBPEG3q0Og8dxi9AfctT3x/+ENF3jl+qb+
RhRiGYn6aJH/FfJDfzbzoFzr3rtRruJ1/Sl953JLaVF9k2ixKcxpkpaPuqqn90Zl
rjRL2eUx2SYeVtFCh58jKofeaRYdyk/VMNG8BbelHeVfzBEywl+FMHHtKLOgZNlE
A9ktNN6rsAzfQ/H55lHsnKWZtVZYQCN1Q0NqVDWhp4PJosrrjoA6RfUJsgpadrU0
tuuZ4V0pkVOFHHkpBdOdv28IdX8cC7xWnoBLtScV1dr2fhijh4ZUDIrQrRAWxcM1
f+VRZl+lr2eJC1lduTwtSFkYI4J4istDdZRAM35qX+biOhjtVtxOplwWm/U1uoVv
hJiWch4Vp3qf+VPn+Qc18HIX2ZrpfN7QXIrbeoqNVeiEhtbumHvRDPM9nBoDOgPU
KD04cE/6vErZADi0QdOPw2qL1AQzoKJXddJEfBpH8jzdSg3YHp+Kg1B0SFrur+8z
FUz0nCroKAYuvOB5o8bfW9en8UDOGjcqU0bbJ1vnpx4j1XH+rmIiwpD3g2T0oidJ
WEtJAekJkG6b
=N2t4
-----END PGP SIGNATURE-----