diff options
| author | Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | 2025-05-28 11:10:16 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-06-02 08:54:52 +0200 |
| commit | cdd4fbac3d7c2d31f083389c56884def06b6ede6 (patch) | |
| tree | 8235995e37a4f0ab4befe5618fb96041af6fa08e /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 15ac042535151d48468783e3e0a2f66d88a6a2f0 (diff) | |
coqPackages.vscoq-language-server: 2.2.5 -> 2.2.6
To be compatible with the update of the extension in #410879.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions