nixsearch / pkg / coqPackages.VST / 2.6
coqPackages.VST 2.6
Verified Software Toolchain
Linux
last changed
Pin this version
$ devbox add coqPackages.VST@2.6
$ nix shell github:NixOS/nixpkgs/719ac402b1c13bb14cc496812c67fd7f65c7bf68#coqPackages.VST
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
coqPackages.VST |
719ac402b1c1 |
JSON: /v2/pkg?name=coqPackages.VST · /v2/resolve?name=coqPackages.VST&version=2.6