nixos-unstable · x86_64-linux · 151fa4e8ddfd · generated 2026-10-07T01:01:54Z

cerberus 0-unstable-2025-12-15 single

Name
ocaml5.5.0-cerberus-0-unstable-2025-12-15
Package set
top-level
Homepage
https://www.cl.cam.ac.uk/~pes20/cerberus/
License
BSD-2-Clause, GPL-2.0-only, BSD-3-Clause, MIT, BSD-4-Clause, ISC
Main program
cerberus
Source
pkgs/by-name/ce/cerberus/package.nix:14
Derivation
/nix/store/nb3jw07s0qh4ql4fgibbw5shkvgxy40x-ocaml5.5.0-cerberus-0-unstable-2025-12-15.drv

Maintainers 1

HandleNameContactVia
RossSmyth Ross Smyth GitHub · @rosssmyth:matrix.org listed on package

Dependencies 19

PackageAsMaintainersUsed by (transitive)Status
ocamlPackages.cmdliner 2.1.1 buildInputs 881 single
ocamlPackages.lem 2025-03-13 buildInputs
4 unmaintained
ocamlPackages.menhirLib 20260203 buildInputs 940 single
ocamlPackages.pprint 20230830 buildInputs 179 single
ocamlPackages.ppx_deriving 6.1.1 buildInputs 150 single
ocamlPackages.ppx_sexp_conv 0.17.1 buildInputs
560 unmaintained
ocamlPackages.result 1.5 buildInputs
331 unmaintained
ocamlPackages.sexplib 0.17.0 buildInputs
203 unmaintained
ocamlPackages.sha 1.15.4 buildInputs 23 single
ocamlPackages.yojson 3.0.0 buildInputs 370 single
ocamlPackages.zarith 1.14 buildInputs 153 maintained
dune 3.23.1 nativeBuildInputs 1,402 single
makeBinaryWrapper 26.05pre-git nativeBuildInputs
77,078 unmaintained setup hook
ocaml 5.5.0 nativeBuildInputs 1,487 single
ocamlPackages.findlib 1.9.8 nativeBuildInputs
1,473 unmaintained
ocamlPackages.menhir 20260203 nativeBuildInputs 938 single
writableTmpDirAsHomeHook 26.05pre-git nativeBuildInputs
66,113 unmaintained setup hook
bashNonInteractive 5.3p15 other input 102,441 maintained
stdenv 26.05pre-git other input
90,330 team-only

Used by 0 directly, 0 transitively

No package depends on this one.