mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-22 14:45:27 +00:00
Code Issues Wiki Activity

coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2

Browse source
This commit is contained in:
Vincent Laporte 2015-09-26 16:40:07 +02:00
parent 4a8e06f1f0
commit 6a238d4b3e
2 changed files with 16 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
pkgs/development/coq-modules/coq-ext-lib/default.nix
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 ];

2
pkgs/top-level/all-packages.nix
View file

@ -14306,6 +14306,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 { };