@@ -1,15 +1,15 @@
11{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:
22
33let
4− version = "1.3.4";
4+ version = "1.3.7";
55 name = "fricas-" + version;
66in
77stdenv.mkDerivation {
88 inherit name;
99
1010 src = fetchurl {
11− url = "mirror://sourceforge/fricas/files/fricas/${version}/${name}-full.tar.bz2";
12− sha256 = "156k9az1623y5808j845c56z2nvvdrm48dzg1v0ivpplyl7vp57x";
11+ url = "mirror://sourceforge/fricas/fricas/${version}/${name}-full.tar.bz2";
12+ sha256 = "sha256-cOqMvSe3ef/ZeVy5cj/VU/aTRtxgfxZfRbE4lWE5TU4=";
1313 };
1414
1515 buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];