nixsearch
nixsearch / pkg / ocamlPackages.smtml / 0.28.0

ocamlPackages.smtml 0.28.0

SMT solver frontend for OCaml
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.smtml@0.28.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.smtml
systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636 
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.smtml

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.smtml b6c8664de9b6
out
/nix/store/847s89wkm5wxx7qlbyp8m47ryqqslkqc-ocaml5.5.0-smtml-0.28.0
aarch64-linux
Linux · arm64		 ocamlPackages.smtml b6c8664de9b6
out
/nix/store/dy4xiz1g5pfgibpfsgfmky5wqykamng0-ocaml5.5.0-smtml-0.28.0
x86_64-darwin
macOS · x86-64		 ocamlPackages.smtml f76e4c7b1840
out
/nix/store/2cgv96gg9wbckjzir228dy6h3d6kxpmh-ocaml5.4.1-smtml-0.28.0
x86_64-linux
Linux · x86-64		 ocamlPackages.smtml b6c8664de9b6
out
/nix/store/i9jyc9yc5g02vl0g4wfdskz5fznhc64i-ocaml5.5.0-smtml-0.28.0
all 15 releases older: 0.27.0 →

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