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/coq-modules/coq-elpi | |
| parent | 24102db995db84d1caa4cf24371b153c2023aeee (diff) | |
| download | nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar.gz nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar.bz2 nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar.lz nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar.xz nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.tar.zst nixpkgs-48df7cdbba1811b5c4791fc80e89e2b0790adc33.zip | |
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi')
0 files changed, 0 insertions, 0 deletions