Merge pull request #10087 from vbgl/coq-ext-lib

coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
This commit is contained in:
vbgl 2015-10-05 07:29:14 +02:00
commit 0de1939a77
2 changed files with 16 additions and 7 deletions

View file

@ -1,14 +1,21 @@
{stdenv, fetchgit, coq}:
{ stdenv, fetchFromGitHub, coq }:
let param =
if coq.coq-version == "8.4"
then { version = "0.9.0"; sha256 = "1n3bk003vvbghbrxkhal6drnc0l65jv9y77wd56is3jw9xgiif0w"; }
else { version = "1.0.0-beta2"; sha256 = "0rdh6jsag174576nvra6m2g44fvmlbz4am5wcashj45bq30021sa"; };
in
stdenv.mkDerivation rec {
name = "coq-ext-lib-${coq.coq-version}-${version}";
version = "c2c71a2a";
name = "coq${coq.coq-version}-coq-ext-lib-${version}";
inherit (param) version;
src = fetchgit {
url = git://github.com/coq-ext-lib/coq-ext-lib.git;
rev = "c2c71a2a90ac87f2ceb311a6da53a6796b916816";
sha256 = "01sihw3nmvvpc8viwyr01qnqifdcmlg016034xmrfmv863yp8c4g";
src = fetchFromGitHub {
owner = "coq-ext-lib";
repo = "coq-ext-lib";
rev = "v${param.version}";
inherit (param) sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 ];

View file

@ -14354,6 +14354,8 @@ let
coq = coq_8_5;
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
mathcomp = callPackage ../development/coq-modules/mathcomp { };
ssreflect = callPackage ../development/coq-modules/ssreflect { };