diff options
| author | Ulrik Strid <ulrik.strid@outlook.com> | 2022-02-20 22:06:30 +0100 |
|---|---|---|
| committer | Ulrik Strid <ulrik.strid@outlook.com> | 2022-02-24 14:39:45 +0100 |
| commit | 48df7cdbba1811b5c4791fc80e89e2b0790adc33 (patch) | |
| tree | bc41712190caa8515a3abfca51f3aa1755a01faf /pkgs/development/python-modules/rangehttpserver | |
| parent | 24102db995db84d1caa4cf24371b153c2023aeee (diff) | |
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions