diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-09-27 13:39:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-27 13:39:10 +0200 |
| commit | ff346a442d1e5ec81b24c312c06fd134bcc9c088 (patch) | |
| tree | 93cb39f61a770a5c479de8bd5003e526b082faf9 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 68770d269df8d7d8c7deba87156f66b0f997c071 (diff) | |
| parent | fb3c48614fe70a547f2a87ac797657768c56ff9c (diff) | |
Merge pull request #192437 from kyoDralliam/metacoq-fix-dev
fix metacoq builds for coq >= 8.16 in dev mode, adds 1.1 release for coq 8.16
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions