diff options
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq2html/default.nix | 25 | ||||
-rw-r--r-- | pkgs/applications/science/logic/poly/default.nix | 4 | ||||
-rw-r--r-- | pkgs/applications/science/math/gretl/default.nix | 4 |
3 files changed, 15 insertions, 18 deletions
diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix index 46f2ebd775bfc..393b84640805a 100644 --- a/pkgs/applications/science/logic/coq2html/default.nix +++ b/pkgs/applications/science/logic/coq2html/default.nix @@ -1,20 +1,17 @@ -{ lib, stdenv, fetchgit, ocaml }: +{ lib, stdenv, fetchFromGitHub, ocaml }: -let - version = "20170720"; -in - -stdenv.mkDerivation { +stdenv.mkDerivation rec { pname = "coq2html"; - inherit version; + version = "1.2"; - src = fetchgit { - url = "https://github.com/xavierleroy/coq2html"; - rev = "e2b94093c6b9a877717f181765e30577de22439e"; - sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610"; + src = fetchFromGitHub { + owner = "xavierleroy"; + repo = "coq2html"; + rev = "v${version}"; + sha256 = "sha256-ty/6A3wivjDCrmlZAcZyaIwQQ+vPBJm9MhtW6nZcV3s="; }; - buildInputs = [ ocaml ]; + nativeBuildInputs = [ ocaml ]; installPhase = '' mkdir -p $out/bin @@ -32,8 +29,8 @@ stdenv.mkDerivation { "Proof" keyword. ''; homepage = "https://github.com/xavierleroy/coq2html"; - license = licenses.gpl2; - maintainers = with maintainers; [ jwiegley ]; + license = licenses.gpl2Plus; + maintainers = with maintainers; [ jwiegley siraben ]; platforms = platforms.unix; }; } diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index 15e89138c6b38..d0344a3737daf 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -2,14 +2,14 @@ stdenv.mkDerivation rec { pname = "libpoly"; - version = "0.1.8"; + version = "0.1.9"; src = fetchFromGitHub { owner = "SRI-CSL"; repo = "libpoly"; # they've pushed to the release branch, use explicit tag rev = "refs/tags/v${version}"; - sha256 = "1n3gijksnl2ybznq4lkwm2428f82423sxq18gnb2g1kiwqlzdaa3"; + sha256 = "sha256-E2lHo8Bt4ujoGQ623fjkQbqRnDYJYilXdRt4lnF4wJk="; }; nativeBuildInputs = [ cmake ]; diff --git a/pkgs/applications/science/math/gretl/default.nix b/pkgs/applications/science/math/gretl/default.nix index cc9fe7c4d2ced..450021925bdee 100644 --- a/pkgs/applications/science/math/gretl/default.nix +++ b/pkgs/applications/science/math/gretl/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { pname = "gretl"; - version = "2021a"; + version = "2021b"; src = fetchurl { url = "mirror://sourceforge/gretl/${pname}-${version}.tar.xz"; - sha256 = "sha256-BDaTv6PORiBnsEaU7uXJIKuxTqIgpY44vUmSViyME0A="; + sha256 = "sha256-3KSAA0UPx3cqMXf/G5nrlCfLjWcDiGtzvJe/syRyE6c="; }; buildInputs = [ |