diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-17 13:26:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-17 13:26:43 +0200 |
| commit | fa1247675544430e97aa0499ad5073b98cb31817 (patch) | |
| tree | 0ba9e600d8cf8a5d97e50625b005ca04d0cfc816 /pkgs/development/coq-modules | |
| parent | 7dea8e403e5540d1c1fe1b5f1003f81bb0971eb5 (diff) | |
| download | nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar.gz nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar.bz2 nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar.lz nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar.xz nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.tar.zst nixpkgs-fa1247675544430e97aa0499ad5073b98cb31817.zip | |
coq: add ocamlPackages in passthru
We might need OCaml packages that are not the one Coq is depending on but they still need to come from the same package set (same OCaml version).
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions