fricas: 1.3.7 -> 1.3.8

This commit is contained in:
R. Ryantm 2022-07-30 16:58:18 +00:00
parent 48f86ac8c8
commit 799328334d

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "fricas";
version = "1.3.7";
version = "1.3.8";
src = fetchurl {
url = "mirror://sourceforge/fricas/fricas/${version}/fricas-${version}-full.tar.bz2";
sha256 = "sha256-cOqMvSe3ef/ZeVy5cj/VU/aTRtxgfxZfRbE4lWE5TU4=";
sha256 = "sha256-amAGPLQo70nKATyZM7h3yX5mMUxCwOFwb/fTIWB5hUQ=";
};
buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];