flint: 3.2.1 -> 3.3.1 (#416789)

This commit is contained in:
Mauricio Collares
2025-06-19 21:21:18 -03:00
committed by GitHub
2 changed files with 15 additions and 2 deletions
+13
View File
@@ -1,6 +1,7 @@
{
stdenv,
fetchFromGitHub,
fetchpatch,
gmp,
bison,
perl,
@@ -70,6 +71,18 @@ stdenv.mkDerivation rec {
patchShebangs .
'';
# Use fq_nmod_mat_entry instead of row pointer (removed in flint 3.3.0)
patches = [
(fetchpatch {
url = "https://github.com/Singular/Singular/commit/05f5116e13c8a4f5f820c78c35944dd6d197d442.patch";
hash = "sha256-4l7JaCCFzE+xINU+E92eBN5CJKIdtQHly4Ed3ZwbKTA=";
})
(fetchpatch {
url = "https://github.com/Singular/Singular/commit/595d7167e6e019d45d9a4f1e18ae741df1f3c41d.patch";
hash = "sha256-hpTZy/eAiHAaleasWPAenxM35aqeNAZ//o6OqqdGOJ4=";
})
];
# For reference (last checked on commit 75f460d):
# https://github.com/Singular/Singular/blob/spielwiese/doc/Building-Singular-from-source.md
# https://github.com/Singular/Singular/blob/spielwiese/doc/external-packages-dynamic-modules.md
+2 -2
View File
@@ -22,11 +22,11 @@ assert
stdenv.mkDerivation rec {
pname = "flint3";
version = "3.2.1";
version = "3.3.1";
src = fetchurl {
url = "https://flintlib.org/download/flint-${version}.tar.gz";
hash = "sha256-ynvkbXeXInfrb+DE92dUhDL1a7U0qhfW26LXzOFc0j8=";
hash = "sha256-ZNcOUTB2z6lx4EELWMHaXTURKRPppWtE4saBtFnT6vs=";
};
nativeBuildInputs = [