diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-02-18 10:23:03 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-02-24 15:18:07 +0100 |
| commit | 229dc013b37bf4a8ab18e210bd87f8f9d94275af (patch) | |
| tree | cc0feede7322cf722b964115d5203249094d33ab /pkgs/top-level/coq-packages.nix | |
| parent | b962b666a9b42164712d548949d1a846da7a6d09 (diff) | |
coqPackages.mathcomp_1_10: init at 1.10.0
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 4faaf86040db..565410cc5f67 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -54,7 +54,12 @@ let mathcompCorePkgs_1_9 mathcomp_1_9 mathcomp-ssreflect_1_9 mathcomp-fingroup_1_9 mathcomp-algebra_1_9 - mathcomp-solvable_1_9 mathcomp-field_1_9 mathcomp-character_1_9; + mathcomp-solvable_1_9 mathcomp-field_1_9 mathcomp-character_1_9 + + mathcompCorePkgs_1_10 mathcomp_1_10 + mathcomp-ssreflect_1_10 mathcomp-fingroup_1_10 mathcomp-algebra_1_10 + mathcomp-solvable_1_10 mathcomp-field_1_10 mathcomp-character_1_10 + ; inherit (callPackage ../development/coq-modules/mathcomp/extra.nix { }) mathcompExtraGen multinomials coqeal |