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/equations | |
parent | 7dea8e403e5540d1c1fe1b5f1003f81bb0971eb5 (diff) | |
download | nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.gz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.bz2 nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.lz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.xz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.zst nixlib-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/equations')
0 files changed, 0 insertions, 0 deletions