Package: libsail-ocaml-dev (0.19.1+dfsg5-1 and others)

Links for libsail-ocaml-dev

Debian Resources:

Download Source Package sail-ocaml:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Bo YU (QA Page)

External Resources:

Homepage [github.com]

Similar packages:

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/

This package contains sail libraries files.

Other Packages Related to libsail-ocaml-dev

depends

recommends

suggests

enhances

dep: libbase64-ocaml-dev-he9q2

virtual package provided by libbase64-ocaml-dev
dep: libdune-ocaml-dev-boqq9

virtual package provided by libdune-ocaml-dev
dep: liblem-ocaml-dev-e8393

virtual package provided by liblem-ocaml-dev
dep: liblinksem-ocaml-dev-8s3y7

virtual package provided by liblinksem-ocaml-dev
dep: libmenhir-ocaml-dev-cjjw4

virtual package provided by libmenhir-ocaml-dev
dep: libomd-ocaml-dev-uh8o4

virtual package provided by libomd-ocaml-dev
dep: libpprint-ocaml-dev-aprm7

virtual package provided by libpprint-ocaml-dev
dep: libstdlib-ocaml-dev-m4xw9

virtual package provided by libstdlib-ocaml-dev
dep: libyojson-ocaml-dev-0y6j6

virtual package provided by libyojson-ocaml-dev
dep: libzarith-ocaml-dev-h79v1

virtual package provided by libzarith-ocaml-dev
dep: ocaml-5.3.0

virtual package provided by ocaml

sug: ocaml-findlib

management tool for OCaml libraries

Download libsail-ocaml-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	0.19.1+dfsg5-1+b2	34,823.9 kB	73,679.0 kB	[list of files]