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/build-support/coq | |
parent | 24102db995db84d1caa4cf24371b153c2023aeee (diff) |
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
Diffstat (limited to 'pkgs/build-support/coq')
0 files changed, 0 insertions, 0 deletions