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/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 7dea8e403e5540d1c1fe1b5f1003f81bb0971eb5 (diff) | |
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/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions