diff options
| author | Kirill Boltaev <aske@fmap.me> | 2016-10-05 11:32:30 +0400 |
|---|---|---|
| committer | vbgl <vbgl@users.noreply.github.com> | 2016-10-05 09:32:30 +0200 |
| commit | 3e646865f4eb5216117dc49f3c9fb4a02ad2313b (patch) | |
| tree | 9418314db159ba326550bf4af9df1e7aa9a75332 /pkgs/applications | |
| parent | 916364af72f15e7635387889d883b605948b1f1d (diff) | |
| download | nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar.gz nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar.bz2 nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar.lz nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar.xz nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.tar.zst nixlib-3e646865f4eb5216117dc49f3c9fb4a02ad2313b.zip | |
treewide: use ocaml.version (#19192)
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/matita/130312.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/matita/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/math/glsurf/default.nix | 4 |
3 files changed, 0 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/matita/130312.nix b/pkgs/applications/science/logic/matita/130312.nix index 5117ba62e21e..573b0ad7e4b5 100644 --- a/pkgs/applications/science/logic/matita/130312.nix +++ b/pkgs/applications/science/logic/matita/130312.nix @@ -1,10 +1,8 @@ {stdenv, fetchurl, ocaml, findlib, gdome2, ocaml_expat, gmetadom, ocaml_http, lablgtk, ocaml_mysql, ocamlnet, ulex08, camlzip, ocaml_pcre, automake, autoconf }: let - ocaml_version = (builtins.parseDrvName ocaml.name).version; version = "0.99.1pre130312"; pname = "matita"; - in stdenv.mkDerivation { diff --git a/pkgs/applications/science/logic/matita/default.nix b/pkgs/applications/science/logic/matita/default.nix index 0f393b419f1d..5495f61bfd88 100644 --- a/pkgs/applications/science/logic/matita/default.nix +++ b/pkgs/applications/science/logic/matita/default.nix @@ -1,10 +1,8 @@ {stdenv, fetchurl, ocaml, findlib, gdome2, ocaml_expat, gmetadom, ocaml_http, lablgtk, lablgtkmathview, ocaml_mysql, ocaml_sqlite3, ocamlnet, ulex08, camlzip, ocaml_pcre }: let - ocaml_version = (builtins.parseDrvName ocaml.name).version; version = "0.5.8"; pname = "matita"; - in stdenv.mkDerivation { diff --git a/pkgs/applications/science/math/glsurf/default.nix b/pkgs/applications/science/math/glsurf/default.nix index 8a0a25c67340..eae4b0ceb628 100644 --- a/pkgs/applications/science/math/glsurf/default.nix +++ b/pkgs/applications/science/math/glsurf/default.nix @@ -1,9 +1,5 @@ { stdenv, fetchdarcs, ocaml, findlib, lablgl, camlimages, mesa, freeglut, ocaml_mysql, mysql, mlgmp, mpfr, gmp, libtiff, libjpeg, libpng, giflib }: -let - ocaml_version = (builtins.parseDrvName ocaml.name).version; -in - stdenv.mkDerivation { name = "glsurf-3.3"; |