-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: sail-ocaml
Binary: libsail-ocaml-dev, sail-ocaml
Architecture: any
Version: 0.19.1+dfsg5-1build2
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.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
 6b3014ef4bd3b43404754a5de2da2df319e7dcbc 6092 sail-ocaml_0.19.1+dfsg5-1build2.debian.tar.xz
Checksums-Sha256:
 7dd7444582c66719e05eea99ebd72dd01733351eb1a00f1cb5a79fb0001a034b 1150144 sail-ocaml_0.19.1+dfsg5.orig.tar.xz
 cc009384fa3679f279ace220d8824bf09f6835020c4e8309b0801f60eb0eae8c 6092 sail-ocaml_0.19.1+dfsg5-1build2.debian.tar.xz
Files:
 7c4d3937b37ec4fbe20b05490ec7388e 1150144 sail-ocaml_0.19.1+dfsg5.orig.tar.xz
 980c8a7d796b0bfc542f6f3cc756e901 6092 sail-ocaml_0.19.1+dfsg5-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmleCroACgkQ808JdE6f
XdnbBRAA3IamK/FLHzW6eyJQNiXOAa2i8ZMrdi1yzUOqTol/O1UIVl/LCW+L2jUb
P1NwxnKs+B9+k4zjT9BRCIBrimJcpufl7yj2tCQC+VeqTLX3PK7KCwLpNZd1jcp3
b+/N2VmdpT3zChpCUMf8Nim7cQh5wdl4AxyF5xX+3CIrKz0YeYmTFV+Wbyo0KBXN
R6aFrm1C2F81DOHfk41i7MLY+HaH+P3X2LPzRUYDhj8xbKY+84Hdjrr/GFcRR3Xj
hJWxSb2YFeOWWQA2tmswFk6pIFLeNlPD12JwUbNGTa94byV4XFY4e8zA2kL53LS2
FJ3t3R6cldi27N9I7FR/toYJ73LXBD+jK/5DAEsFnqG470Gw2dyJU2tSkr98o3yR
RA8gwhLG+UYph6IyZNf+1IS2ilS2GR0gwqIWPNuKeMN0p1H5QEVjJ6YvD8auN5/g
bwAMzKWtjAplhmUdvgXU6xfdJGPbuCi5VV8UtpwkKJ+IBHxADOpPhRisVDfJ1jNo
DSYdsL5YPdtmwoOa6ut0M0ZSmc1LHqWkKC4DSgSEGn13zUP5Aq+VYTj7LwYSn/jf
aEwpKIqWXlnDKbiNAbijoZb3fNMDdIOh+V0JU8qd5qK+Ggg0Q3NIsF9eWsp4zyA1
crVJps8/zYCFadQoTujjHx1KiX9DhbC4G2g903DunuG1zwP5Frc=
=1n0v
-----END PGP SIGNATURE-----