From 62f62ed0bf958accae2f0a757e70810e037fcd25 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <adellam@isti.cnr.it>
Date: Thu, 7 Sep 2017 19:31:23 +0200
Subject: [PATCH] New virtuoso default version.

---
 virtuoso/defaults/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/virtuoso/defaults/main.yml b/virtuoso/defaults/main.yml
index 617d465f..e4db489e 100644
--- a/virtuoso/defaults/main.yml
+++ b/virtuoso/defaults/main.yml
@@ -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'