New virtuoso default version.

This commit is contained in:
Andrea Dell'Amico 2017-09-07 19:31:23 +02:00
parent dcb5aac7bb
commit 62f62ed0bf
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@ virtuoso_from_external_repo: False
virtuoso_external_repo_key: 'http://packages.comsode.eu/key/odn.gpg.key'
virtuoso_external_repo: 'deb http://packages.comsode.eu/debian wheezy main'
virtuoso_pkg_state: installed
virtuoso_version: 6.1
virtuoso_version: 7
virtuoso_user: virtuoso
virtuoso_base_dir: '/var/lib/virtuoso-opensource-{{ virtuoso_version }}'
virtuoso_db_dir: '{{ virtuoso_base_dir }}/db'