Merge pull request #184011 from r-ryantm/auto-update/fricas

fricas: 1.3.7 -> 1.3.8
This commit is contained in:
Jonas Heinrich 2022-08-21 15:16:39 +02:00 committed by GitHub
commit 4cde04611f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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 ];