gnu: Update virtuoso-ose to 7.2.5.

* gnu/packages/databases.scm (virtuoso-ose): Update to 7.2.5.
master
Roel Janssen 2018-08-20 16:13:45 +02:00
parent fa4ebd2f08
commit e63da346cf
No known key found for this signature in database
GPG Key ID: C3EC1DCA843072E1
1 changed files with 2 additions and 2 deletions

View File

@ -2120,7 +2120,7 @@ implementation for Python.")
(define-public virtuoso-ose
(package
(name "virtuoso-ose")
(version "7.2.4.2")
(version "7.2.5")
(source
(origin
(method url-fetch)
@ -2128,7 +2128,7 @@ implementation for Python.")
"https://github.com/openlink/virtuoso-opensource/releases/"
"download/v" version "/virtuoso-opensource-" version ".tar.gz"))
(sha256
(base32 "12dqam1gc1v93l0bj0vlpvjqppki6y1hqrlznywxnw0rrz9pb002"))))
(base32 "0r1xakclkfi69pzh8z2k16z3x0m49pxp764icj0ad4w4bb97fr42"))))
(build-system gnu-build-system)
(arguments
`(#:tests? #f ; Tests require a network connection.