diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-18 19:05:42 -0400 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-18 19:12:51 -0400 |
commit | 53d1eb0fc64ce2fb79e00199721c97f95e21cd61 (patch) | |
tree | 663334d81763da1655c477c1f06f3ba961836fd3 /pkgs/development | |
parent | d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea (diff) | |
download | nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar.gz nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar.bz2 nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar.lz nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar.xz nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.tar.zst nixpkgs-53d1eb0fc64ce2fb79e00199721c97f95e21cd61.zip |
coqPackages_8_6.CoLoR: new expression 1.3.0
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix new file mode 100644 index 00000000000..3fac09277d1 --- /dev/null +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -0,0 +1,21 @@ +{ stdenv, fetchurl, coq }: + +stdenv.mkDerivation { + name = "coq${coq.coq-version}-CoLoR-1.3.0"; + + src = fetchurl { + url = https://gforge.inria.fr/frs/download.php/file/36399/color.1.3.0.tar.gz; + sha256 = "0n7431mc4a5bn9fsyk5167j2vnbxz4vgggjch4pm0x58lda8mxv1"; + }; + + buildInputs = [ coq ]; + enableParallelBuilding = true; + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + meta = with stdenv.lib; { + homepage = http://color.inria.fr/; + description = "CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant."; + maintainers = with maintainers; [ jwiegley ]; + platforms = coq.meta.platforms; + }; +} |