Package: libsail-ocaml-dev
Source: sail-ocaml
Version: 0.20.2+dfsg-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 154194
Depends: libbase64-ocaml-dev-6d1h0, libdune-ocaml-dev-y3lm8, liblem-ocaml-dev-1sir5, liblinksem-ocaml-dev-p5ka9, libmenhir-ocaml-dev-6vua6, libomd-ocaml-dev-ellh8, libpprint-ocaml-dev-1ihl4, libstdlib-ocaml-dev-1ltp0, libyojson-ocaml-dev-y7ch7, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
Suggests: ocaml-findlib
Breaks: sail-ocaml (<< 0.20.2)
Replaces: sail-ocaml (<< 0.20.2)
Provides: libsail-ocaml-dev-4uwz4
Section: ocaml
Priority: optional
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/
 .
 This package contains sail libraries files.
