[ forky ]
[ sid ]
[ Source: sail-ocaml ]
Package: libsail-ocaml-dev (0.19.1+dfsg5-1 and others)
Links for libsail-ocaml-dev
Debian Resources:
Download Source Package sail-ocaml:
- [sail-ocaml_0.19.1+dfsg5-1.dsc]
- [sail-ocaml_0.19.1+dfsg5.orig.tar.xz]
- [sail-ocaml_0.19.1+dfsg5-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Sprog beskriver instruktionssemantikken for processorer
Sail er et sprog til at beskrive instruction-set architecture-semantikken (ISA) for processorer. Sail forsøger at tilbyde et ingeniørvenligt, leverandør-pseudokode-lignende sprog til at beskrive instruktionssemantik. Det er grundlæggende et første orden imperativt sprog, men med simpel afhængig indtastning for numeriske typer og bitvektor længder, der automatisk tjekkes via Z3. Er blevet brugt i flere artikler, tilgængelige fra <http://www.cl.cam.ac.uk/~pes20/sail/>.
Denne pakke indeholder biblioteksfilerne for sail.
Other Packages Related to libsail-ocaml-dev
|
|
|
|
-
- dep: libbase64-ocaml-dev-he9q2 [not s390x]
- virtual package provided by libbase64-ocaml-dev
-
- dep: libbase64-ocaml-dev-sfqy5 [s390x]
- Package not available
-
- dep: libdune-ocaml-dev-2b029 [s390x]
- virtual package provided by libdune-ocaml-dev
-
- dep: libdune-ocaml-dev-jz5q4 [not s390x]
- virtual package provided by libdune-ocaml-dev
-
- dep: liblem-ocaml-dev-909v9 [s390x]
- virtual package provided by liblem-ocaml-dev
-
- dep: liblem-ocaml-dev-e8393 [not s390x]
- virtual package provided by liblem-ocaml-dev
-
- dep: liblinksem-ocaml-dev-2xzc6 [s390x]
- virtual package provided by liblinksem-ocaml-dev
-
- dep: liblinksem-ocaml-dev-8s3y7 [not s390x]
- virtual package provided by liblinksem-ocaml-dev
-
- dep: libmenhir-ocaml-dev-4ogd3 [not s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-rsg80 [s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libomd-ocaml-dev-m9wy2 [s390x]
- virtual package provided by libomd-ocaml-dev
-
- dep: libomd-ocaml-dev-uh8o4 [not s390x]
- virtual package provided by libomd-ocaml-dev
-
- dep: libpprint-ocaml-dev-aprm7 [not s390x]
- virtual package provided by libpprint-ocaml-dev
-
- dep: libpprint-ocaml-dev-tq8y8 [s390x]
- virtual package provided by libpprint-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [not s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libyojson-ocaml-dev-0y6j6 [not s390x]
- virtual package provided by libyojson-ocaml-dev
-
- dep: libyojson-ocaml-dev-a10m7 [s390x]
- virtual package provided by libyojson-ocaml-dev
-
- dep: libzarith-ocaml-dev-2ofb9 [s390x]
- virtual package provided by libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-h79v1 [not s390x]
- virtual package provided by libzarith-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
-
- sug: ocaml-findlib
- Håndteringsværktøj for OCaml-biblioteker
Download libsail-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.19.1+dfsg5-1+b5 | 34,823.8 kB | 73,692.0 kB | [list of files] |
| arm64 | 0.19.1+dfsg5-1+b4 | 35,079.7 kB | 76,231.0 kB | [list of files] |
| ppc64el | 0.19.1+dfsg5-1+b4 | 35,150.9 kB | 78,399.0 kB | [list of files] |
| riscv64 | 0.19.1+dfsg5-1+b4 | 36,259.5 kB | 93,626.0 kB | [list of files] |
| s390x | 0.19.1+dfsg5-1+b4 | 34,915.1 kB | 76,797.0 kB | [list of files] |