fricas: 1.3.12 -> 1.3.13

This commit is contained in:
R. Ryantm
2026-03-06 01:14:55 +00:00
committed by Stefan Haan
parent 212cf8a0c1
commit 2016d2705d

View File

@@ -14,13 +14,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "fricas";
version = "1.3.12";
version = "1.3.13";
src = fetchFromGitHub {
owner = "fricas";
repo = "fricas";
rev = finalAttrs.version;
sha256 = "sha256-GUGJR65K1bPC0D36l4Yyj3GOsWtUrSKLu6JnlfjHzDc=";
sha256 = "sha256-vpClJwB91pCgc6DWy0I2XTfSWkt+7nEAkUK9zz4qh4A=";
};
buildInputs = [