-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: sail-ocaml Binary: libsail-ocaml-dev, sail-ocaml Architecture: any Version: 0.20.2+dfsg-1 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.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: 82b9a799ab7a1e4c2e8fcfe54473e023028f1f45 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz 81705f6fb415b217dd84c6d0786fe84fe5aedfa6 5464 sail-ocaml_0.20.2+dfsg-1.debian.tar.xz Checksums-Sha256: fe678279344a5e3a28a27c6eb192871e1e0441ac386ad602cf50897ef966dec0 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz 80358bd6ba055ad52d4052cc0a5253a502fca1662f543f8b8d627eee2707146c 5464 sail-ocaml_0.20.2+dfsg-1.debian.tar.xz Files: afdfdae30c8d4a554105591f9cf3f73b 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz 5ece171b3df1523c5027947ff4b161b2 5464 sail-ocaml_0.20.2+dfsg-1.debian.tar.xz Dgit: 6712daf976f787877420ed24fa7a204ac638cc8f debian archive/debian/0.20.2+dfsg-1 https://git.dgit.debian.org/sail-ocaml -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmpVy7ISHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBL00H/jVv99mJ4A8jm35+rijLV9KdfYpB3F/G qU2ySgrAYsehWrO/DREOcNEcxW1bgQvO7wQBbA/J95nBtu2AfhyEXL2BPyZxOebm Pt9W9973nV+HAUu/A5ZIkRLUSKNAC3t0EFLmkvbO9vHrXTHDDapVJPLAXCCYmLs2 LADzuufZBg4uZSQavw1+rslNqybilR9bAnveUvHEpcniKYQKadrf2N+vrGry4LBO SjQ9wzMQa+LhO+YVAK+/g+nul47MhDy7I9l/if6LnXKxJDKoMAxs+eZJjHbyONKf n1FZ75WEQLH8R7c632Lk8IRF7L0ERnyAQ/+D+gqy2DJHLqO4hVptYZ4= =WrVX -----END PGP SIGNATURE-----