diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-06-13 10:34:34 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-06-19 12:28:42 +0200 |
| commit | 5293575e859bb56d5a7317f316b4fca2ee62d821 (patch) | |
| tree | 65e78e3a0f29f573c44064d8ec7825b414b02057 /pkgs/top-level/coq-packages.nix | |
| parent | 06469493de41e1cdb8bdd4b8f1e563d1e8dfd0aa (diff) | |
coqPackages.mathcomp: enable 1.11.0 for Coq 8.12
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions