diff options
| author | Ali Caglayan <alizter@gmail.com> | 2024-09-28 00:34:35 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-09-30 21:01:31 +0200 |
| commit | ef593972ffdd7384cd97523e09807a701aa204c2 (patch) | |
| tree | 8c6e738dbe17a875ea21e45736020ee65deb6660 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | afab97c863b16b43b1b23009d4d0f1f5d2d4f0ae (diff) | |
coqPackages.HoTT: 8.19 -> 8.20
Signed-off-by: Ali Caglayan <alizter@gmail.com>
<!-- ps-id: 92474861-7551-4ab8-a321-d0de1738c5e8 -->
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions