gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

isabelle/polyml: Ignore version override warning for now

Browse Source
This commit is contained in:
Robert Hensing
2025-05-28 19:23:11 +02:00
parent 7758a59808
commit c50933c33f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+1
View File
@@ -15900,6 +15900,7 @@ with pkgs;
polyml = polyml.overrideAttrs {
pname = "polyml-for-isabelle";
version = "2025";
__intentionallyOverridingVersion = true; # avoid a warning, no src override
configureFlags = [
"--enable-intinf-as-int"
"--with-gmp"