-----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-1build1
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 unknown arch=any
 sail-ocaml deb ocaml unknown arch=any
Checksums-Sha1:
 82b9a799ab7a1e4c2e8fcfe54473e023028f1f45 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz
 23f12852fbc27a6c9bc1a418ac95b07dcc3f437b 5536 sail-ocaml_0.20.2+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 fe678279344a5e3a28a27c6eb192871e1e0441ac386ad602cf50897ef966dec0 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz
 4dd4fd6a60fefd23108f51d57b68ebe8e00d68345e4f5cb7ef5a605ed1f4acf5 5536 sail-ocaml_0.20.2+dfsg-1build1.debian.tar.xz
Files:
 afdfdae30c8d4a554105591f9cf3f73b 1306000 sail-ocaml_0.20.2+dfsg.orig.tar.xz
 07c76bdab2482e457c9f8073b5bd7629 5536 sail-ocaml_0.20.2+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNSgACgkQ808JdE6f
Xdn0xxAAxclNjcGXY0+RALRIYtYFEacG+7/lM397kdKFuuBnNSb2Uw6WDBLj4NZR
f4WN79ly7Z5NdEuJnL5rc8lIPrB5RHVukZXnTKbcCCnmdt/XZuegWgGbzpJUsNla
WN72+WYRctw5e7I4Q5M6lkcfksJ/feBx0oNyOJlXpfdnP+4t9p1BUeLhpeP0L7J/
hxahBkJpTgng62O+3HfT3ANJ3st979zV19dbNmxpCgd3mN2CVkxh5UO2nnoLCDNA
ePHKUxtuIV61fxRO3VioubMnCTKmf1RLNiLRzqs+5iTgoOrs3aXv4a1c8PYbz2Ig
z0thdUWGRE/sorueDHKTDWRTPno8U4wmE3rvyryDZbzs+lwk+0tr+tBZNqeNn/xb
Gp5YNzmvqQI/yPadmD8GBry9/f67yharwRdcc95ijVcu1A2zpkO80rhO9gDGFcjU
ufhtbJmlQ38TF/nPHk7A3FMNEeAhYGQUkLeZ0UZMNgXdI9WNiLFLJjwCBIeCoLsM
qsKwZuTnCjuhaLS3LII8Da8f/63E+nvxwu7aAqiheUY6NfuU7sMd4/7+QcF4ttwy
yJ4BaEaq8dxwiMse2peBQx5jFuet/h7lZQ/zUGnZ54NhtCL/vd282fZj4sgGyjt3
69syQrICxFMyz3xsLL37u98Z75ssXpIWaListTlB/adsh4Cd7u4=
=js+c
-----END PGP SIGNATURE-----