diff options
| author | Ali Caglayan <alizter@gmail.com> | 2024-02-16 07:59:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-16 08:59:26 +0100 |
| commit | 8398a209b65c4bba20c17e51d20f048b527f2ab8 (patch) | |
| tree | 43a9fe5e03ea93268f2411c1c565bffe6893b486 /pkgs/development/python-modules/rangehttpserver | |
| parent | 5c31c4a2b64a191a95e0917c84ced8e19cc353f1 (diff) | |
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185)
* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0
* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions