diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2025-02-18 17:05:11 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-02-18 22:49:49 +0100 |
| commit | eca34552eb2485bf9876ce1ec203fbfe9a2b63e3 (patch) | |
| tree | f719264a99d2d1d2e7f56928d8566dbeb3c57f3a /pkgs/development/python-modules/rangehttpserver | |
| parent | 76de542f6606efe5d147392b17ab4148070b654a (diff) | |
coqPackages.coq-elpi: rstore overridability on Coq < 9.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions