diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:42:29 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:42:29 +0000 |
| commit | 5add451ee355464b671b09d5614cc8eac96103de (patch) | |
| tree | 1aec48dd06a1913025d3bf7631c1a50ada99e56c /pkgs/development/coq-modules | |
| parent | 7a12b3de448576806a56694918ec10802ce186aa (diff) | |
| download | nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar.gz nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar.bz2 nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar.lz nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar.xz nixlib-5add451ee355464b671b09d5614cc8eac96103de.tar.zst nixlib-5add451ee355464b671b09d5614cc8eac96103de.zip | |
coqPackages_8_4.coqeal: remove
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/coqeal/default.nix | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix deleted file mode 100644 index b6d3fe2e34f3..000000000000 --- a/pkgs/development/coq-modules/coqeal/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ stdenv, fetchgit, coq, mathcomp }: - -stdenv.mkDerivation rec { - - name = "coq-coqeal-${coq.coq-version}-${version}"; - version = "7522037d"; - - src = fetchgit { - url = git://github.com/CoqEAL/CoqEAL.git; - rev = "7522037d5e01e651e705d782f4f91fc68c46866e"; - sha256 = "0kbnsrycd0hjni311i8xc5xinn4ia8rnqi328sdfqzvvyky37fgj"; - }; - - propagatedBuildInputs = [ mathcomp ]; - - preConfigure = '' - cd theory - patch ./Make <<EOF - 0a1 - > -R . CoqEAL - EOF - ''; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; - - meta = with stdenv.lib; { - homepage = http://www.maximedenes.fr/content/coqeal-coq-effective-algebra-library; - description = "A Coq library for effective algebra, by which is meant formally verified computer algebra algorithms that can be run inside Coq on concrete inputs"; - maintainers = with maintainers; [ jwiegley ]; - platforms = coq.meta.platforms; - }; - -} |