diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2021-10-25 15:20:28 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-11-02 11:36:09 +0100 |
| commit | 3e66c4013f96140cc62bb9f0e0c8ca3cc815c591 (patch) | |
| tree | bd09e5e4164bc9c72d6017964e6eabfdbb65b895 /pkgs/development/python-modules/rangehttpserver | |
| parent | 81640c0d8cbc719c079dca6f24c420f1cfea9c82 (diff) | |
coqPackages.coqeal: master, add dependency
In order to include matrix normal forms in
CoqEAL (https://github.com/coq-community/coqeal/pull/54)
we add a dependency to mathcomp-real-closed.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions