diff options
| -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 ed60c1fb6a2..0371254304e 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm | |||
| @@ -237,7 +237,7 @@ it.") | |||
| 237 | (define-public trealla | 237 | (define-public trealla |
| 238 | (package | 238 | (package |
| 239 | (name "trealla") | 239 | (name "trealla") |
| 240 | (version "2.102.42") | 240 | (version "2.102.45") |
| 241 | (source | 241 | (source |
| 242 | (origin | 242 | (origin |
| 243 | (method git-fetch) | 243 | (method git-fetch) |
| @@ -246,7 +246,7 @@ it.") | |||
| 246 | (url "https://github.com/trealla-prolog/trealla") | 246 | (url "https://github.com/trealla-prolog/trealla") |
| 247 | (commit (string-append "v" version)))) | 247 | (commit (string-append "v" version)))) |
| 248 | (sha256 | 248 | (sha256 |
| 249 | (base32 "0wj5g1kkna4613qmi3basd7nkxly6hqjd37vvf66h6ldkywnlmbs")) | 249 | (base32 "1hap1pnjlp1i37fh0qlnvbl67vsavhnj3w3xdf1nfw90g16fl5pw")) |
| 250 | (file-name (git-file-name name version)))) | 250 | (file-name (git-file-name name version)))) |
| 251 | (build-system gnu-build-system) | 251 | (build-system gnu-build-system) |
| 252 | (inputs | 252 | (inputs |
