Merge pull request #315439 from NixOS/backport-315195-to-release-24.05

{ lib, stdenv, fetchurl, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:

{ lib, stdenv, fetchFromGitHub, sbcl, libX11, libXpm, libICE, libSM, libXt, libXau, libXdmcp }:

stdenv.mkDerivation rec {

  pname = "fricas";

  version = "1.3.9";

  version = "1.3.10";

  src = fetchurl {

    url = "mirror://sourceforge/fricas/fricas/${version}/fricas-${version}-full.tar.bz2";

    sha256 = "sha256-5RPcffM0GN0l6r8IgHJlwdxwwp2y4kIdJ5M3JnGZCzc=";

  src = fetchFromGitHub {

    owner = "fricas";

    repo = "fricas";

    rev = version;

    sha256 = "sha256-T1xDndDnHq/hmhTWWO3Eu0733u8+C8sJMCF6pbLU2GI=";

  };

  buildInputs = [ sbcl libX11 libXpm libICE libSM libXt libXau libXdmcp ];

  # Remove when updating to next version

  configurePhase = ''

    ./configure --prefix=$out --with-lisp='sbcl --dynamic-space-size 3072'

  '';

  dontStrip = true;

  meta = {

    homepage = "https://fricas.sourceforge.net/";

    homepage = "https://fricas.github.io";

    description = "An advanced computer algebra system";

    license = lib.licenses.bsd3;