diff options
| author | Cyril Cohen <cohen@crans.org> | 2021-01-14 01:24:20 +0100 |
|---|---|---|
| committer | Cyril Cohen <cohen@crans.org> | 2021-01-14 19:51:30 +0100 |
| commit | f06be1bcf9582015dcfdfad84fa77279ff54009f (patch) | |
| tree | 11fed3cc8e8f32d1c95d29cc7a3cb9b3ef3b7f2a /pkgs/top-level/coq-packages.nix | |
| parent | 7d9c32f7437cb1d51df7f2e64144c083517aa320 (diff) | |
| download | nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar.gz nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar.bz2 nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar.lz nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar.xz nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.tar.zst nixpkgs-f06be1bcf9582015dcfdfad84fa77279ff54009f.zip | |
coqPackages.mathcomp-abel: init at 1.0.0
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index c67d489de62..1ded50ce763 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -50,6 +50,7 @@ let mathcomp-solvable = self.mathcomp.solvable; mathcomp-field = self.mathcomp.field; mathcomp-character = self.mathcomp.character; + mathcomp-abel = callPackage ../development/coq-modules/mathcomp-abel {}; mathcomp-analysis = callPackage ../development/coq-modules/mathcomp-analysis {}; mathcomp-finmap = callPackage ../development/coq-modules/mathcomp-finmap {}; mathcomp-bigenough = callPackage ../development/coq-modules/mathcomp-bigenough {}; |