diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-06-24 22:06:18 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-06-25 21:07:57 +0200 |
| commit | 5d61a87d9484954dafc950b271127ba4a161f968 (patch) | |
| tree | 888eb45bc230753d2387d4a06d3d5f87aa168d19 /pkgs/development/python-modules/rangehttpserver | |
| parent | 019217743d398d4765497c51059b84b704fab7c2 (diff) | |
mkCoqDerivation: fix install path of ML plug-in built w/ dune
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions