nixsearch / pkg / dotnetPackages.Boogie
dotnetPackages.Boogie
An intermediate verification language
version3.5.7
attributedotnetPackages.Boogie
rev419fe0f449b3fbe3bdd53d9840288db4509ec32e · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add dotnetPackages.Boogie@3.5.7
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#dotnetPackages.Boogie
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2019-06-20 | – | – | – | ✓ | dotnetPackages.Boogie |
7ad5e816fa | ||
| 3.5.7resolved | ✓ | ✓ | – | ✓ | dotnetPackages.Boogie |
79b35bf0bd | ||
| 2.15.7 | ✓ | – | ✓ | ✓ | dotnetPackages.Boogie |
7d0ed7f2e5 | ||
| 2.4.1 | ✓ | – | ✓ | ✓ | dotnetPackages.Boogie |
varies |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.