nixsearch / pkg / ocamlPackages_latest.smtml / 0.19.0
ocamlPackages_latest.smtml 0.19.0
SMT solver frontend for OCaml
Linux and macOS
last changed
Pin this version
$ devbox add ocamlPackages_latest.smtml@0.19.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita1bab9e494f5f4939442a57a58d0449a109593fe
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#ocamlPackages_latest.smtml
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages_latest.smtml |
a1bab9e494f5 | out/nix/store/knh3pp8rclrgwdaknqgmzbk79szavb6k-ocaml5.4.0-smtml-0.19.0 |
||
aarch64-linuxLinux · arm64 |
ocamlPackages_latest.smtml |
a1bab9e494f5 | out/nix/store/ig6pgrjs3kgg8ba058i7cn4maiwaq2is-ocaml5.4.0-smtml-0.19.0 |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages_latest.smtml |
a1bab9e494f5 | out/nix/store/hnfyd0g9wwrrf2cy4hkp4lfphgnsryvi-ocaml5.4.0-smtml-0.19.0 |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages_latest.smtml |
a1bab9e494f5 | out/nix/store/mkqb308x419ikwkv6a0cqc9kygmwwnfs-ocaml5.4.0-smtml-0.19.0 |
JSON: /v2/pkg?name=ocamlPackages_latest.smtml · /v2/resolve?name=ocamlPackages_latest.smtml&version=0.19.0