diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-02-21 16:05:47 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-21 16:20:04 +0100 |
| commit | 61ac4169922ca62d00bfe7f28dae6e1f27fd9c89 (patch) | |
| tree | f7b3d0bfa6bdc8fb5618e5554f04a5ece00d2a25 /pkgs/development/python-modules/rangehttpserver | |
| parent | 8eb1922f647d28ec831b6edffdb3a675f2ad9fc8 (diff) | |
coqPackages.hydra-battles: fix version checking logic
With this change, the derivation can be relied on without overlay in the upstream project.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions