diff options
| author | Shogo Takata <peshogo@gmail.com> | 2024-05-06 19:54:06 +0800 |
|---|---|---|
| committer | Jiuyang Liu <liu@jiuyang.me> | 2024-05-06 20:01:54 +0800 |
| commit | 0f7d6ee262bd1d323ac28fbd55bfa1408009c975 (patch) | |
| tree | 91ea1837811bbf33b8af35135eff3fc475ee5bd9 /pkgs/development/python-modules/rangehttpserver | |
| parent | 6dcbb99335ef23b98d3e0d0f1ab21d85d45281f4 (diff) | |
circt: add z3 to buildInputs
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions