diff options
| author | 宋文武 <[email protected]> | 2025-03-09 12:28:05 +0800 |
|---|---|---|
| committer | 宋文武 <[email protected]> | 2025-03-11 10:43:40 +0800 |
| commit | 494bbe00eac25bafe510bda9601f714d65adef9b (patch) | |
| tree | d5076262d65f5032051d96f80d32960c2be2078f /gnu/packages | |
| parent | e633cc7ffd846239ba35e5b2197390968b3fe6c3 (diff) | |
gnu: polyml: Update to 5.9.1.
* gnu/packages/sml.scm (polyml): Update to 5.9.1.
Change-Id: I93571e78e2a62f7aff05f2a93ccc3cb48c154a28
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/sml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 8e2d4a59e4..c8223d6b1d 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -35,7 +35,7 @@ (define-public polyml (package (name "polyml") - (version "5.9") + (version "5.9.1") (source (origin (method git-fetch) (uri (git-reference @@ -44,7 +44,7 @@ (file-name (git-file-name name version)) (sha256 (base32 - "0hhij8y0kvchg9rarzrcr9i0f629s2chbg258b0jscicjv9ghi6w")))) + "1s7lpnxg826r2lm2c81j9a61zwljy2ybkqwadjiwrfi0hmbczn89")))) (build-system gnu-build-system) (inputs (list gmp lesstif libffi libx11 libxt)) |