diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-07-06 18:38:31 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-08 14:33:24 +0200 |
| commit | 0898779c3944d6ca9d90abb9641d4030796fdaa2 (patch) | |
| tree | 98991e99c840efc2d89508bd45a2a085b0ae2cbf /pkgs/development/python-modules/termplotlib | |
| parent | c6815758ac2a281c130f2e157d898091007e72d2 (diff) | |
Do not rely on coq-version when coq.version works just fine.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib')
0 files changed, 0 insertions, 0 deletions