diff options
Diffstat (limited to 'gnu/packages/prolog.scm')
| -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 ed40b2e3cdd..2da1352e821 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm | |||
| @@ -189,7 +189,7 @@ it.") | |||
| 189 | (define-public trealla | 189 | (define-public trealla |
| 190 | (package | 190 | (package |
| 191 | (name "trealla") | 191 | (name "trealla") |
| 192 | (version "2.84.15") | 192 | (version "2.84.16") |
| 193 | (source | 193 | (source |
| 194 | (origin | 194 | (origin |
| 195 | (method git-fetch) | 195 | (method git-fetch) |
| @@ -198,7 +198,7 @@ it.") | |||
| 198 | (url "https://github.com/trealla-prolog/trealla") | 198 | (url "https://github.com/trealla-prolog/trealla") |
| 199 | (commit (string-append "v" version)))) | 199 | (commit (string-append "v" version)))) |
| 200 | (sha256 | 200 | (sha256 |
| 201 | (base32 "1fmybpkfis7jlvvyxxx7pczhnwjzm8ma5fpc1h8jnamfl55fgf8g")) | 201 | (base32 "0zj5sj3rh2p2375pkswzi99pyhbkx4p08gh2m30sgq5jyll5ns8k")) |
| 202 | (file-name (git-file-name name version)))) | 202 | (file-name (git-file-name name version)))) |
| 203 | (build-system gnu-build-system) | 203 | (build-system gnu-build-system) |
| 204 | (native-inputs | 204 | (native-inputs |
