diff options
author | Matt Huszagh <huszaghmatt@gmail.com> | 2019-10-19 13:32:00 -0700 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2019-12-04 14:29:31 -0600 |
commit | 9c7cd63b3dd25639951d6cdd66bc98858186791b (patch) | |
tree | 14a83988f7fd338aa5be01a0ab4387ab6800309e /pkgs/tools/package-management/cargo-edit/default.nix | |
parent | 785d5c6f79a8ad49eeb184e1fcb65ed5fc62869f (diff) | |
download | nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.gz nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.bz2 nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.lz nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.xz nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.zst nixlib-9c7cd63b3dd25639951d6cdd66bc98858186791b.zip |
symbiyosys: add yices dependency
Symbioyosys requires at least smt solver backend to work out of the box.
Diffstat (limited to 'pkgs/tools/package-management/cargo-edit/default.nix')
0 files changed, 0 insertions, 0 deletions