Format: 3.0 (quilt) Source: sail-ocaml Binary: libsail-ocaml-dev, sail-ocaml Architecture: any Version: 0.19.1+dfsg5-1+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Bo YU 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.2 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 (= 13), ocaml, ocaml-dune, dh-ocaml (>= 1.2), 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: 7e41f2918ff503b0a506ca3da36a6c3d4cc19271 1150144 sail-ocaml_0.19.1+dfsg5.orig.tar.xz f5409b367ff3c596a70f442bbe69759cf00e2ec3 6068 sail-ocaml_0.19.1+dfsg5-1+ocaml1.debian.tar.xz Checksums-Sha256: 7dd7444582c66719e05eea99ebd72dd01733351eb1a00f1cb5a79fb0001a034b 1150144 sail-ocaml_0.19.1+dfsg5.orig.tar.xz 2a78b413affde41f1b6ca68063f15caef910ed0de62c27c769d5d9d90816d889 6068 sail-ocaml_0.19.1+dfsg5-1+ocaml1.debian.tar.xz Files: 7c4d3937b37ec4fbe20b05490ec7388e 1150144 sail-ocaml_0.19.1+dfsg5.orig.tar.xz 886b0a7ade0901623cf30a0f6a9b948f 6068 sail-ocaml_0.19.1+dfsg5-1+ocaml1.debian.tar.xz