nixsearch / pkg / haskellPackages.copilot-verifier
haskellPackages.copilot-verifier
System for verifying the correctness of generated Copilot programs
version4.3
attributehaskellPackages.copilot-verifier
revc539ae8d21e49776966d714f82fba33b1fca78bc · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add haskellPackages.copilot-verifier@4.3
$ nix shell github:NixOS/nixpkgs/c539ae8d21e49776966d714f82fba33b1fca78bc#haskellPackages.copilot-verifier
JSON: /v2/resolve?name=haskellPackages.copilot-verifier&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 4.3resolved | ✓ | ✓ | ✓ | ✓ | haskellPackages.copilot-verifier |
c539ae8d21 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.