gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
514b55bcdaaba5b04fee64d24e1cc620460ecf39
nixpkgs/pkgs/development/compilers/circt
T
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