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

jasmin-compiler 2026.09.0 single

Workbench for high-assurance and high-speed cryptography

Name
jasmin-compiler-2026.09.0
Package set
top-level
Homepage
https://github.com/jasmin-lang/jasmin/
License
MIT
Main program
jasminc
Source
pkgs/by-name/ja/jasmin-compiler/package.nix:57
Derivation
/nix/store/6dkk7l5ad70ws7qzm6g6prrrwndgr0cx-jasmin-compiler-2026.09.0.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
vbgl Vincent Laporte GitHub · Vincent.Laporte@gmail.com listed on package

Dependencies 16

PackageAsMaintainersUsed by (transitive)Status
ocamlPackages.angstrom 0.16.1 propagatedBuildInputs 166 single
ocamlPackages.batteries 3.11.0 propagatedBuildInputs
4 unmaintained
ocamlPackages.menhirLib 20260203 propagatedBuildInputs 940 single outdated
ocamlPackages.zarith 1.14 propagatedBuildInputs 153 maintained
mpfr 4.2.2 buildInputs 11,968 single
ocamlPackages.apron 0.9.15 buildInputs 12 single
ocamlPackages.yojson 3.0.0 buildInputs 370 single
ppl 1.2 buildInputs
16 unmaintained
dune 3.23.1 nativeBuildInputs 1,402 single outdated
ocaml 5.5.0 nativeBuildInputs 1,487 single outdated
ocamlPackages.camlidl 1.12 nativeBuildInputs 17 single outdated
ocamlPackages.cmdliner 2.1.1 nativeBuildInputs 881 single
ocamlPackages.findlib 1.9.8 nativeBuildInputs
1,473 unmaintained
ocamlPackages.menhir 20260203 nativeBuildInputs 938 single outdated
bashNonInteractive 5.3p15 other input 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.