nixsearch
nixsearch / pkg / ocamlPackages.smtml

ocamlPackages.smtml

SMT solver frontend for OCaml
MIT formalsec.github.io ocamlPackages.smtml 15 releases newest changed
ocamlPackages.smtml@ latest, 3.11, ^3.11, >=3.10 <3.12
version0.28.0 attributeocamlPackages.smtml rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add ocamlPackages.smtml@0.28.0
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#ocamlPackages.smtml  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#ocamlPackages.smtml  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.smtml  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#ocamlPackages.smtml  # x86_64-linux

JSON: /v2/resolve?name=ocamlPackages.smtml&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
0.28.0resolved ✓✓✓✓ ocamlPackages.smtml varies
0.27.0 ✓✓✓✓ ocamlPackages.smtml 4a29d733e8
0.26.0 ✓✓✓✓ ocamlPackages.smtml 7aaa00e7cc
0.25.0 ✓✓✓✓ ocamlPackages.smtml 6368eda62c
0.24.0 ✓✓✓✓ ocamlPackages.smtml b86751bc40
0.20.0 ✓✓✓✓ ocamlPackages.smtml b63fe7f000
0.19.0 ✓✓✓✓ ocamlPackages.smtml a1bab9e494
0.18.0 ✓✓✓✓ ocamlPackages.smtml 5f02c91314
0.17.0 ✓✓✓✓ ocamlPackages.smtml 346dd96ad7
0.15.0 ✓✓✓✓ ocamlPackages.smtml 306ea70f9e
0.13.0 ✓✓✓✓ ocamlPackages.smtml ee09932ced
0.12.0 ✓✓✓✓ ocamlPackages.smtml de69d2ba6c
0.10.0 ✓✓✓✓ ocamlPackages.smtml 36226520e9
0.8.0 ✓✓✓✓ ocamlPackages.smtml 372d9eeeaf
0.7.0 ✓✓✓✓ ocamlPackages.smtml a421ac6595

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.