-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: sail-ocaml
Binary: libsail-ocaml-dev, sail-ocaml
Architecture: any
Version: 0.20.3+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Bo YU <vimer@debian.org>
Homepage: https://github.com/rems-project/sail
Description: language describes the instruction semantics of processors
 Sail is a language for describing the instruction-set
 architecture (ISA) semantics of processors. Sail aims to provide a
 engineer-friendly, vendor-pseudocode-like language for describing
 instruction semantics. It is essentially a first-order imperative
 language, but with lightweight dependent typing for numeric types and
 bitvector lengths, which are automatically checked using Z3. It has
 been used for several papers, available from
 http://www.cl.cam.ac.uk/~pes20/sail/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/sail-ocaml
Vcs-Git: https://salsa.debian.org/ocaml-team/sail-ocaml.git
Build-Depends: debhelper-compat (= 14), ocaml, ocaml-dune, dh-ocaml (>= 3.4~), liblinenoise-ocaml-dev, libdune-ocaml-dev, libbase64-ocaml-dev, libbisect-ppx-ocaml-dev, menhir, libmenhir-ocaml-dev, ott-tools, libbiniou-ocaml-dev, libpprint-ocaml-dev, ocaml-odoc, libyojson-ocaml-dev, libnum-ocaml-dev, libzarith-ocaml-dev, libomd-ocaml-dev, lem, liblem-ocaml-dev, liblinksem-ocaml-dev
Package-List:
 libsail-ocaml-dev deb ocaml optional arch=any
 sail-ocaml deb ocaml optional arch=any
Checksums-Sha1:
 123614d5c2f93d98c8fa1c77795229ab6f97209e 1297392 sail-ocaml_0.20.3+dfsg.orig.tar.xz
 d30bef099241a6e99adef195c1a3d57f7ab76c37 5808 sail-ocaml_0.20.3+dfsg-1.debian.tar.xz
Checksums-Sha256:
 750f33fcc2fa2656f153eac956f31a2d93c90ad686acfdeb5e03c09e9afcea90 1297392 sail-ocaml_0.20.3+dfsg.orig.tar.xz
 e6db1625f803784de88a012aa1b5b8c8f745d39789b3bb34d27137ab6e55e944 5808 sail-ocaml_0.20.3+dfsg-1.debian.tar.xz
Files:
 422fdcd5e0832e7370ec8bdba89035ee 1297392 sail-ocaml_0.20.3+dfsg.orig.tar.xz
 c1e437efee91df3cf8650e7eafa09536 5808 sail-ocaml_0.20.3+dfsg-1.debian.tar.xz
Dgit: 8f94ba7b86f46f952d6c15c480f8b6824c89a8a4 debian archive/debian/0.20.3+dfsg-1 https://git.dgit.debian.org/sail-ocaml

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmrFAQISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB9ZEH/A7mqfDX24TPyNxvEFSgCrdra73i6wqn
a9ZKv/1jIgOYhpb0FgCwhQHeKL4L3XLU2vPicb7WGjNlmiPuFGi+eqGjQqkFJX6H
enFiNpujSETqcptLG8+TxHtbaH86/dBv6WRH+LWfbw6anTn09hhPFpWgvOC20vH4
Be0bJLX1C9SAklzlvNcO778yewb/ch7PVIlqFXRjN/msVGdhagbkQj1OKgH5fdaa
k9tWC5uYDEzaBhQUa2HCUtEuyN1pFFxamg1iIzBQWcA41lCSCQmq1SrKYp+8dKSa
R0KoR4G7+rl4hgkZnhSICHfVR4qSTMRNZcg9ycJfp/4cG/FEs4uBn+8=
=4UMy
-----END PGP SIGNATURE-----