diff options
Diffstat (limited to 'pkgs/applications/science')
5 files changed, 18 insertions, 17 deletions
diff --git a/pkgs/applications/science/astronomy/gravit/default.nix b/pkgs/applications/science/astronomy/gravit/default.nix index 1be1328da27..85339a86733 100644 --- a/pkgs/applications/science/astronomy/gravit/default.nix +++ b/pkgs/applications/science/astronomy/gravit/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, SDL, SDL_ttf, SDL_image, mesa, libpng, lua5, automake, autoconf }: stdenv.mkDerivation rec { - name = "gravit-0.5.0"; + name = "gravit-0.5.1"; src = fetchurl { url = "http://gravit.slowchop.com/media/downloads/${name}.tgz"; - sha256 = "0lyw0skrkb04s16vgz7ggswjrdxk1h23v5s85s09gjxzjp1xd3xp"; + sha256 = "14vf7zj2bgrl96wsl3f1knsggc8h9624354ajzd72l46y09x5ky7"; }; buildInputs = [mesa SDL SDL_ttf SDL_image lua5 automake autoconf libpng]; diff --git a/pkgs/applications/science/astronomy/stellarium/default.nix b/pkgs/applications/science/astronomy/stellarium/default.nix index d7ae496f5aa..ebe756a47f3 100644 --- a/pkgs/applications/science/astronomy/stellarium/default.nix +++ b/pkgs/applications/science/astronomy/stellarium/default.nix @@ -1,15 +1,15 @@ -{ stdenv, fetchurl, cmake, freetype, libpng, mesa, gettext, openssl, qt4, perl +{ stdenv, fetchurl, cmake, freetype, libpng, mesa, gettext, openssl, qt5, perl , libiconvOrEmpty }: stdenv.mkDerivation rec { - name = "stellarium-0.12.4"; + name = "stellarium-0.13.2"; src = fetchurl { url = "mirror://sourceforge/stellarium/${name}.tar.gz"; - sha256 = "11367hv9niyz9v47lf31vjsqkgc8da0vy2nhiyxgmk1i49p1pbhg"; + sha256 = "1asrq1v6vjzxd2zz92brdfs5f5b1qf8zwd7k2dpg3dl4shl8wwg5"; }; - buildInputs = [ cmake freetype libpng mesa gettext openssl qt4 perl ] + buildInputs = [ cmake freetype libpng mesa gettext openssl qt5 perl ] ++ libiconvOrEmpty; enableParallelBuilding = true; diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 70149522393..228d1a7c4d4 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -10,7 +10,7 @@ stdenv.mkDerivation rec { }; buildInputs = with ocamlPackages; - [ coq ocaml findlib lablgtk ocamlgraph zarith ]; + [ coq coq.camlp5 ocaml findlib lablgtk ocamlgraph zarith ]; meta = with stdenv.lib; { description = "A platform for deductive program verification"; diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 7a87cb5e8be..a213f6da37e 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -1,21 +1,22 @@ -{ stdenv, fetchurl, python, unzip, autoreconfHook }: +{ stdenv, fetchurl, python, unzip }: stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.3.1"; + version = "4.3.2"; src = fetchurl { - url = "http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx\?ProjectName\=z3\&changeSetId\=89c1785b73225a1b363c0e485f854613121b70a7"; + url = "http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx\?ProjectName\=z3\&changeSetId\=cee7dd39444c9060186df79c2a2c7f8845de415b"; name = "${name}.zip"; - sha256 = "3b94465c52ec174350d8707dd6a1fb0cef42f0fa23f148cc1808c14f3c2c7f76"; + sha256 = "0hagy7xm0m52jd6vlrbizkj24mn6c49hkb3r5p66wilvp15ivpbn"; }; - buildInputs = [ python unzip autoreconfHook ]; + buildInputs = [ python unzip ]; enableParallelBuilding = true; # The zip file doesn't unpack a directory, just the code itself. unpackPhase = "mkdir ${name} && cd ${name} && unzip $src"; - postConfigure = '' - python scripts/mk_make.py + + configurePhase = '' + python scripts/mk_make.py --prefix=$out cd build ''; @@ -37,7 +38,7 @@ stdenv.mkDerivation rec { ''; meta = { - description = "Z3 is a high-performance theorem prover and SMT solver"; + description = "A high-performance theorem prover and SMT solver"; homepage = "http://z3.codeplex.com"; license = stdenv.lib.licenses.msrla; platforms = stdenv.lib.platforms.unix; diff --git a/pkgs/applications/science/math/pssp/default.nix b/pkgs/applications/science/math/pssp/default.nix index 0a9e0e4735d..6a8f9e59000 100644 --- a/pkgs/applications/science/math/pssp/default.nix +++ b/pkgs/applications/science/math/pssp/default.nix @@ -3,11 +3,11 @@ }: stdenv.mkDerivation rec { - name = "pspp-0.8.2"; + name = "pspp-0.8.3"; src = fetchurl { url = "mirror://gnu/pspp/${name}.tar.gz"; - sha256 = "1w7h3dglgx0jlq1wb605b8pgfsk2vr1q2q2rj7bsajh9ihbcsixr"; + sha256 = "0vri2pzvmm38qaihfvwlry30f40lcnps4blg59ixic4q20ldxf5d"; }; buildInputs = [ libxml2 readline zlib perl cairo gtk gsl pkgconfig |