diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-10-16 02:44:00 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2017-10-16 12:01:17 -0500 |
commit | 740fb165da558cd0f341ddd46a4ff2585a3a294c (patch) | |
tree | de9e9004ce022d190feaa01a2270c33a0c726411 /pkgs/top-level | |
parent | 35c885dc3d4f385b540e6ee18c8bec010e6f4ff8 (diff) | |
download | nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar.gz nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar.bz2 nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar.lz nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar.xz nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.tar.zst nixlib-740fb165da558cd0f341ddd46a4ff2585a3a294c.zip |
nixpkgs: add symbiyosys, for HDL verification flows
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 8d70d61113b7..1afc58c6a21f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18684,6 +18684,8 @@ with pkgs; boolector = callPackage ../applications/science/logic/boolector {}; + symbiyosys = callPackage ../applications/science/logic/symbiyosys {}; + ### SCIENCE / ELECTRONICS adms = callPackage ../applications/science/electronics/adms { }; |