nixsearch / pkg / symbiyosys
symbiyosys
Tooling for Yosys-based verification flows
version2021.11.30
attributesymbiyosys
rev0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add symbiyosys@2021.11.30
$ nix shell github:NixOS/nixpkgs/0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465#symbiyosys
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2021.11.30resolved | ✓ | ✓ | ✓ | ✓ | symbiyosys |
0cb2fd7c59 | ||
| 2021.09.13 | ✓ | – | ✓ | ✓ | symbiyosys |
f366af7a1b | ||
| 2020.08.22 | ✓ | – | ✓ | ✓ | symbiyosys |
b5182c214f | ||
| 2020.07.03 | – | – | – | ✓ | symbiyosys |
96745f0228 | ||
| 2020.05.18 | – | – | – | ✓ | symbiyosys |
e912fb83d2 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.