# HG changeset patch # User ymh # Date 1482495830 -3600 # Node ID 7b84847868a9c363ec5ac0ea4b4e883529b6c3cd # Parent 4dab0495f922d4151e6068babd04390074e95f82 upgrade rdf4j diff -r 4dab0495f922 -r 7b84847868a9 dev/provisioning/modules/sysconfig/manifests/rdf4j.pp --- a/dev/provisioning/modules/sysconfig/manifests/rdf4j.pp Wed Dec 21 15:23:08 2016 +0100 +++ b/dev/provisioning/modules/sysconfig/manifests/rdf4j.pp Fri Dec 23 13:23:50 2016 +0100 @@ -51,7 +51,7 @@ }-> archive { 'rdf4j-2.1.1': ensure => present, - url => "http://www.eclipse.org/downloads/download.php?file=/rdf4j/eclipse-rdf4j-2.1.1-sdk.zip&r=1", + url => "http://www.eclipse.org/downloads/download.php?file=/rdf4j/eclipse-rdf4j-2.1.4-sdk.zip&r=1", checksum => false, extension => "zip", follow_redirects => true, @@ -63,7 +63,7 @@ }-> file { "/opt/rdf4j": ensure => directory, - source => "file:///tmp/rdf4j/eclipse-rdf4j-2.1.1", + source => "file:///tmp/rdf4j/eclipse-rdf4j-2.1.4", recurse => true, purge => true }->