diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-11-14 21:22:39 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-11-14 21:22:39 +0100 |
| commit | 8530d4c332ae8719deb2bed4c1b3c16425f09d48 (patch) | |
| tree | 2bf7e9ae60f0b8e93d2273d4f516d06554b6d0f2 /pkgs/development/python-modules/rangehttpserver | |
| parent | 785e208ce7e912ea10a28c1d9202aec1e020a7f5 (diff) | |
coqPackages.serapi: fix build
Use older version of ppx_deriving where relevant and fix to newer
version of findlib.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions