diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2025-10-09 13:39:28 +0200 |
|---|---|---|
| committer | Pierre Roux <pierre.roux@onera.fr> | 2025-10-09 13:39:28 +0200 |
| commit | bb1327e812d1eaaedc6376a2bafb5e5b801cc20a (patch) | |
| tree | 6d9fe831afcfa490a92ea4ef2652df0a3c78680d /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 4903aed36e1e74521ec5abf15653fc20723d9efb (diff) | |
coqPackages.rocq-elpi: 3.1.0 -> 3.2.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions