diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-12-23 12:35:52 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-01-18 17:08:01 +0100 |
| commit | 2444d7872a81264be1d8fe0d350ad8feae5e5be4 (patch) | |
| tree | a8f5c32f08bcc63be447d36a892f476acec8d86c /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | a9c0c91c72444151bfa2a3b785ed0568ad44b4d2 (diff) | |
coqPackages.corn: missing coq-elpi dependency for master (> 8.19.0)
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions