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

polyml: 5.9.1 -> 5.9.2 (#432014)

Browse Source
This commit is contained in:
Weijia Wang
2025-08-22 23:10:55 +02:00
committed by GitHub
parent 362c210db9 4454940477
commit 031d93b3fc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/compilers/polyml/default.nix
+2 -2
View File
@@ -9,13 +9,13 @@
stdenv.mkDerivation rec {
pname = "polyml";
version = "5.9.1";
version = "5.9.2";
src = fetchFromGitHub {
owner = "polyml";
repo = "polyml";
rev = "v${version}";
sha256 = "sha256-72wm8dt+Id59A5058mVE5P9TkXW5/LZRthZoxUustVA=";
sha256 = "sha256-dHP5XNoLcFIqASfZVWu3MtY3B3H66skEl8ohlwTGyyM=";
};
postPatch = ''