cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/compilers/circt
History
Shogo Takata 0f7d6ee262 circt: add z3 to buildInputs
2024-05-06 20:01:54 +08:00
..
circt-llvm.nix circt: add z3 to buildInputs 2024-05-06 20:01:54 +08:00
default.nix circt: add z3 to buildInputs 2024-05-06 20:01:54 +08:00