nixsearch / pkg / coqPackages.VST / 2.10
coqPackages.VST 2.10
Verified Software Toolchain
macOS (Intel only)
last changed
Pin this version
$ devbox add coqPackages.VST@2.10
$ nix shell github:NixOS/nixpkgs/6b5019a48f876f3288efc626fa8b70ad0c64eb46#coqPackages.VST
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-darwinmacOS · x86-64 |
coqPackages.VST |
6b5019a48f87 |
JSON: /v2/pkg?name=coqPackages.VST · /v2/resolve?name=coqPackages.VST&version=2.10