gnu: wabt: Update to 1.0.12.

* gnu/packages/web.scm (wabt): Update to 1.0.12.
master
Tobias Geerinckx-Rice 2019-09-27 12:24:20 +02:00
parent 29bdabb6fd
commit e6010e8920
No known key found for this signature in database
GPG Key ID: D889B0F018C5493C
1 changed files with 2 additions and 2 deletions

View File

@ -866,7 +866,7 @@ for efficient socket-like bidirectional reliable communication channels.")
(define-public wabt
(package
(name "wabt")
(version "1.0.11")
(version "1.0.12")
(source
(origin
(method git-fetch)
@ -875,7 +875,7 @@ for efficient socket-like bidirectional reliable communication channels.")
(commit version)))
(file-name (git-file-name name version))
(sha256
(base32 "0hn88vlqyclpk79v3wg3lrssd9vwhjdgvb41g03jqakygxxgnmp5"))))
(base32 "1zlv3740wkqj4mn6sr84h0x6wk2lcp4pwwmqsh5yyqp1j1glbsa0"))))
(build-system cmake-build-system)
(arguments
`(#:configure-flags '("-DBUILD_TESTS=OFF")