diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:52:38 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:52:38 +0000 |
commit | e8a316f17fb1ff639557a5661d1954731627cc14 (patch) | |
tree | d36520b0dcf22e7a56f116ab9ed002f9c285e1b2 /pkgs/development/coq-modules | |
parent | c1efbbab96aff5d5a92867f25044043c4b69b287 (diff) | |
download | nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar.gz nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar.bz2 nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar.lz nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar.xz nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.tar.zst nixpkgs-e8a316f17fb1ff639557a5661d1954731627cc14.zip |
coqPackages_8_4.unimath: remove
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/unimath/default.nix | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/pkgs/development/coq-modules/unimath/default.nix b/pkgs/development/coq-modules/unimath/default.nix deleted file mode 100644 index 8bd6cf5a84d..00000000000 --- a/pkgs/development/coq-modules/unimath/default.nix +++ /dev/null @@ -1,26 +0,0 @@ -{stdenv, fetchgit, coq}: - -stdenv.mkDerivation rec { - - name = "coq-unimath-${coq.coq-version}-${version}"; - version = "a2714eca"; - - src = fetchgit { - url = git://github.com/UniMath/UniMath.git; - rev = "a2714eca29444a595cd280ea961ec33d17712009"; - sha256 = "0v7dlyipr6bhwgp9v366nxdan018acafh13pachnjkgzzpsjnr7g"; - }; - - buildInputs = [ coq.ocaml coq.camlp5 ]; - propagatedBuildInputs = [ coq ]; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; - - meta = with stdenv.lib; { - homepage = https://github.com/UniMath/UniMath; - description = "A formalization of a substantial body of mathematics using the univalent point of view"; - maintainers = with maintainers; [ jwiegley ]; - platforms = coq.meta.platforms; - }; - -} |