nixsearch
nixsearch / pkg / ocamlPackages.smtml / 0.18.0

ocamlPackages.smtml 0.18.0

SMT solver frontend for OCaml
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.smtml@0.18.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5f02c91314c8ba4afe83b256b023756412218535 
$ nix shell github:NixOS/nixpkgs/5f02c91314c8ba4afe83b256b023756412218535#ocamlPackages.smtml

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.smtml 5f02c91314c8
out
/nix/store/8kyc3r0rzzhqzyjzxddvs16r34wwx78h-ocaml5.3.0-smtml-0.18.0
aarch64-linux
Linux · arm64		 ocamlPackages.smtml 5f02c91314c8
out
/nix/store/5m33p8aiw3w9zrwqy2f4b298nwrjh6wy-ocaml5.3.0-smtml-0.18.0
x86_64-darwin
macOS · x86-64		 ocamlPackages.smtml 5f02c91314c8
out
/nix/store/89msvjcsl8b06c5yv2yrx0ar8wz3wfky-ocaml5.3.0-smtml-0.18.0
x86_64-linux
Linux · x86-64		 ocamlPackages.smtml 5f02c91314c8
out
/nix/store/7ya1h3nwxfnjh0b11kxhy4xchkr6macf-ocaml5.3.0-smtml-0.18.0
← newer: 0.19.0 all 15 releases older: 0.17.0 →

JSON: /v2/pkg?name=ocamlPackages.smtml · /v2/resolve?name=ocamlPackages.smtml&version=0.18.0