diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-04-16 08:30:14 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-23 09:35:38 +0200 |
| commit | f09a13899dbd767ba0602309b21f4b8926e7e059 (patch) | |
| tree | 6e8e47bf0656ea02eaadee4983dde70cdef62534 /pkgs/development/coq-modules/mathcomp-analysis/default.nix | |
| parent | 640fd927091d399062098079c5987cb0693d0d69 (diff) | |
| download | nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.gz nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.bz2 nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.lz nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.xz nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.zst nixpkgs-f09a13899dbd767ba0602309b21f4b8926e7e059.zip | |
coqPackages.mathcomp: 1.7.0 -> 1.8.0
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0 coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp-analysis/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp-analysis/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix index 8ff9cc5b830..8c315371229 100644 --- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix +++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchFromGitHub, coq, mathcomp-bigenough, mathcomp-finmap }: stdenv.mkDerivation rec { - version = "0.1.0"; + version = "0.2.0"; name = "coq${coq.coq-version}-mathcomp-analysis-${version}"; src = fetchFromGitHub { owner = "math-comp"; repo = "analysis"; rev = version; - sha256 = "0hwkr2wzy710pcyh274fcarzdx8sv8myp16pv0vq5978nmih46al"; + sha256 = "1186xjxgns4ns1szyi931964bjm0mp126qzlv10mkqqgfw07nhrd"; }; buildInputs = [ coq ]; |