fricas: fix build
This commit is contained in:
parent
aa3130f1f7
commit
29ed2bbe02
1 changed files with 3 additions and 3 deletions
|
@ -1,15 +1,15 @@
|
||||||
{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
|
{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
|
||||||
|
|
||||||
let
|
let
|
||||||
version = "1.3.4";
|
version = "1.3.7";
|
||||||
name = "fricas-" + version;
|
name = "fricas-" + version;
|
||||||
in
|
in
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
inherit name;
|
inherit name;
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://sourceforge/fricas/files/fricas/${version}/${name}-full.tar.bz2";
|
url = "mirror://sourceforge/fricas/fricas/${version}/${name}-full.tar.bz2";
|
||||||
sha256 = "156k9az1623y5808j845c56z2nvvdrm48dzg1v0ivpplyl7vp57x";
|
sha256 = "sha256-cOqMvSe3ef/ZeVy5cj/VU/aTRtxgfxZfRbE4lWE5TU4=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];
|
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];
|
||||||
|
|
Loading…
Reference in a new issue