nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-20 23:51:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

fricas: 1.3.12 -> 1.3.13 (#539386)

Browse Source
This commit is contained in:
Nick Cao
2026-07-17 17:45:31 +00:00
committed by GitHub
parent 78f55dd098 c17259daaa
commit 11ff1f17b3
1 changed files with 5 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/by-name/fr/fricas/package.nix
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=";
tag = finalAttrs.version;
hash = "sha256-vpClJwB91pCgc6DWy0I2XTfSWkt+7nEAkUK9zz4qh4A=";
};
buildInputs = [
@@ -34,23 +34,16 @@ stdenv.mkDerivation (finalAttrs: {
libxdmcp
];
# Remove when updating to next version
configurePhase = ''
runHook preConfigure
./configure --prefix=$out --with-lisp='sbcl --dynamic-space-size 3072'
runHook postConfigure
'';
dontStrip = true;
meta = {
homepage = "https://fricas.github.io";
description = "Advanced computer algebra system";
changelog = "https://github.com/fricas/fricas/blob/${finalAttrs.src.tag}/ChangeLog";
license = lib.licenses.bsd3;
platforms = lib.platforms.linux;
maintainers = [ ];
mainProgram = "fricas";
};
})