diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/prolog.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index caf8a84fb0d..5fe2eceec50 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm | |||
| @@ -185,7 +185,7 @@ it.") | |||
| 185 | (define-public trealla | 185 | (define-public trealla |
| 186 | (package | 186 | (package |
| 187 | (name "trealla") | 187 | (name "trealla") |
| 188 | (version "2.77.30") | 188 | (version "2.77.34") |
| 189 | (source | 189 | (source |
| 190 | (origin | 190 | (origin |
| 191 | (method git-fetch) | 191 | (method git-fetch) |
| @@ -194,7 +194,7 @@ it.") | |||
| 194 | (url "https://github.com/trealla-prolog/trealla") | 194 | (url "https://github.com/trealla-prolog/trealla") |
| 195 | (commit (string-append "v" version)))) | 195 | (commit (string-append "v" version)))) |
| 196 | (sha256 | 196 | (sha256 |
| 197 | (base32 "0fy3dsg68c1zb0r31fj0s7dpk2jnr7c2ycr4hd11q9zyszxzqxaj")) | 197 | (base32 "1b494x2li7qskjvz281zrq937sm7mzinsfk32qvvhl5v49aljyl2")) |
| 198 | (file-name (git-file-name name version)))) | 198 | (file-name (git-file-name name version)))) |
| 199 | (build-system gnu-build-system) | 199 | (build-system gnu-build-system) |
| 200 | (native-inputs | 200 | (native-inputs |
