fricas: 1.3.8 -> 1.3.9

This commit is contained in:
R. Ryantm 2023-07-22 11:43:20 +00:00
parent 135dfbcd9d
commit e136d9b0c8

View File

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