nixsearch / pkg / ocamlPackages_latest.smtml
ocamlPackages_latest.smtml
SMT solver frontend for OCaml
version0.28.0
attributeocamlPackages_latest.smtml
revaff8a0b28396750446e5537a96461bc4facdb287 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add ocamlPackages_latest.smtml@0.28.0
$ nix shell github:NixOS/nixpkgs/aff8a0b28396750446e5537a96461bc4facdb287#ocamlPackages_latest.smtml
JSON: /v2/resolve?name=ocamlPackages_latest.smtml&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.28.0resolved | ✓ | ✓ | – | ✓ | ocamlPackages_latest.smtml |
c27cdad491 | ||
| 0.20.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages_latest.smtml |
7d2ae6d8b8 | ||
| 0.19.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages_latest.smtml |
a1bab9e494 | ||
| 0.18.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages_latest.smtml |
61db79b0c6 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.