fricas: 1.3.10 -> 1.3.11

2024-06-30 04:03:36 +00:00
parent 65ed2124ae
commit 345380f411
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "fricas";
-  version = "1.3.10";
+  version = "1.3.11";

  src = fetchFromGitHub {
    owner = "fricas";
    repo = "fricas";
    rev = version;
-    sha256 = "sha256-T1xDndDnHq/hmhTWWO3Eu0733u8+C8sJMCF6pbLU2GI=";
+    sha256 = "sha256-EX/boSs6rK4RrJ5W6Rd0TSHsbQsNiFI1evFuNPBMeu8=";
  };

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