master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

ocamlPackages.sail 0.20.1 unmaintained outdated

Language for describing the instruction-set architecture (ISA) semantics of processors

Name
ocaml5.5.0-sail-0.20.1
Package set
ocamlPackages
Homepage
https://github.com/rems-project/sail
License
BSD-2-Clause
Source
pkgs/development/ocaml-modules/sail/default.nix:88
Derivation
/nix/store/y22p2dknrlajb939r3c2wvhmsj9apxmf-ocaml5.5.0-sail-0.20.1.drv
Repology
outdated, newest version is 0.20.3 · ocaml:sail (as of 2026-10-08T00:43:59Z)
Also available as
ocamlPackages_latest.sail

Maintainers 0

This package has no maintainers.

Dependencies 17

PackageAsMaintainersUsed by (transitive)Status
ocamlPackages.base64 3.5.2 propagatedBuildInputs
vbgl
 169 single
ocamlPackages.dune-site 3.23.1 propagatedBuildInputs
38 unmaintained outdated
ocamlPackages.linenoise 1.5.1 propagatedBuildInputs
vbgl
 5 single
ocamlPackages.linksem 0.8 propagatedBuildInputs
2 unmaintained
ocamlPackages.menhirLib 20260203 propagatedBuildInputs
vbgl
 940 single outdated
ocamlPackages.omd 1.3.2 propagatedBuildInputs
vbgl
 10 single
ocamlPackages.pprint 20230830 propagatedBuildInputs
vbgl
 179 single
ocamlPackages.yojson 3.0.0 propagatedBuildInputs
vbgl
 370 single
dune 3.23.1 nativeBuildInputs
vbgl
 1,402 single outdated
makeWrapper 26.05pre-git nativeBuildInputs
76,592 unmaintained setup hook
ocaml 5.5.0 nativeBuildInputs
georgyo
 1,487 single outdated
ocamlPackages.findlib 1.9.8 nativeBuildInputs
1,473 unmaintained
ocamlPackages.lem 2025-03-13 nativeBuildInputs
4 unmaintained outdated
ocamlPackages.menhir 20260203 nativeBuildInputs
vbgl
 938 single outdated
ott 0.34 nativeBuildInputs
jwiegley
 2 single
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 1 directly, 1 transitively

PackageAsMaintainersUsed by (transitive)Status
sail-riscv 0.12 nativeBuildInputs
xokdvium
 0 single