nixsearch
nixsearch / pkg / ocamlPackages_latest.smtml / 0.28.0

ocamlPackages_latest.smtml 0.28.0

SMT solver frontend for OCaml
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add ocamlPackages_latest.smtml@0.28.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitc27cdad491a991b11ed731760aa2ef8db0cb0410 
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#ocamlPackages_latest.smtml

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.smtml c27cdad491a9
out
/nix/store/xb6b9lyvnbpklq1im3kglslx5i47i5ya-ocaml5.5.0-smtml-0.28.0
aarch64-linux
Linux · arm64		 ocamlPackages_latest.smtml c27cdad491a9
out
/nix/store/lg0nymjnr6s0z186nhv7i4fs7sjdqfdy-ocaml5.5.0-smtml-0.28.0
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.smtml c27cdad491a9
out
/nix/store/9p90iw7zln7c6m89dw9v4dvx2xkcjixy-ocaml5.5.0-smtml-0.28.0
all 4 releases older: 0.20.0 →

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