-----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-4build4
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
 f24e57439aedf0730c28bc90b87573aae56999fd 2440 psmt2-frontend_0.4.0-4build4.debian.tar.xz
Checksums-Sha256:
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 da913b6d649dce50c3cfee7b92faa667ed28956a2975821bb2d9f59765eeb04a 2440 psmt2-frontend_0.4.0-4build4.debian.tar.xz
Files:
 4fc9f9a68343b4614f120c1556bee644 70801 psmt2-frontend_0.4.0.orig.tar.gz
 17fa78aeb77f57b27db9d959a26fa108 2440 psmt2-frontend_0.4.0-4build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlTBdQACgkQ808JdE6f
Xdn1Qw/+NptQFJlR2ATcTnVMOJnZ7ctqbrziMAd7g0QVR6RjnuWBi0ewKK9L4CpG
uEMr+ZqmqjPzcWThqOyWHIt/mMX4Cfad1mdiS10xYB0Jh2u6UNKRvOGY0Xe/Qe+r
XnRWQDMm4bV12v1OWbWcsyPjdTlmiEULhDMs0JOUx/MJVntTvly96xCBuBRRbKtX
d2sbIDBY3X3dk+NRbvco5yqOOJWbxjE9E3krhtmCyZV0HUFYpGaKbRuFXMBuk8J5
l1SDrA6DvJhQsI7/KMiZIgY0HHKPZFduj4LXK9QQIOLRBYeybhu3DynWOBr8xb0M
Csh3DHkY2nt4kcbH3/bVpjxk6eNguKXcdNAPIoJZj3922OE1um9ucNnE4q6SMbHB
qIwj7/NbrQtCi9kksTfH25HZGHORnW9D6jMlZQQCuC15tOys82QaM1dddN83w7wA
xSCU3o+YU9Y/3TuJybglxencsZTFQ8A269JMLAukookzEXMG0IsedK7Vgkje5SGI
4i19cZDjNCnT4GA4RLR2bpdPl3xcNBCgDSq2508vKUREnvoVYMYLwQlnerc2MKN9
M/UpxZ0y7ipDCnMe/UqpQNYcZiJjsrf+po2jkFvs30FTAxBK8z6gUAyJWVDJYzRb
Zn6rWQXbPvNF5Gl8U7Jl12rRqky0np4XsuhNh8Hd8obaY8GfrCQ=
=EwPx
-----END PGP SIGNATURE-----