diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2025-02-11 14:48:00 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-02-12 13:03:19 +0100 |
| commit | 9b34de6f44656d917c478c7e3674550aad11ba0a (patch) | |
| tree | f4194c6a4632b20355c0a4c8ca0c21fab18c6265 /pkgs/development/python-modules/rangehttpserver | |
| parent | 297c1be31e20ad287bcee77267ca51f189d34af1 (diff) | |
coqPackages.multinomials: compiles on rocq 9.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions