nixsearch / pkg / coqPackages.VST / 2.9
coqPackages.VST 2.9
Verified Software Toolchain
Linux and macOS (Intel only)
last changed
Pin this version
$ devbox add coqPackages.VST@2.9
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#coqPackages.VST
$ nix shell github:NixOS/nixpkgs/72bbea9db7d727ed044e60b5f5febc60a3c5c955#coqPackages.VST
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-darwinmacOS · x86-64 |
coqPackages.VST |
24c33ab79525 | |||
x86_64-linuxLinux · x86-64 |
coqPackages.VST |
72bbea9db7d7 |
JSON: /v2/pkg?name=coqPackages.VST · /v2/resolve?name=coqPackages.VST&version=2.9