[Libosinfo] [osinfo-db PATCH v2 6/8] debian: Fix <version>s for several releases

[Andrea Bolognani]

Before version 7, Debian releases where versioned using "X.0"
instead of simply "X". Update <version>s accordingly.

Source: https://www.debian.org/releases/

Signed-off-by: Andrea Bolognani <abologna at redhat.com>
---
 data/os/debian.org/debian-3.xml.in | 2 +-
 data/os/debian.org/debian-4.xml.in | 2 +-
 data/os/debian.org/debian-5.xml.in | 2 +-
 data/os/debian.org/debian-6.xml.in | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/data/os/debian.org/debian-3.xml.in b/data/os/debian.org/debian-3.xml.in
index fb0e611..abb5739 100644
--- a/data/os/debian.org/debian-3.xml.in
+++ b/data/os/debian.org/debian-3.xml.in
@@ -5,7 +5,7 @@
     <short-id>debian3</short-id>
     <short-id>debianwoody</short-id>
     <_name>Debian GNU/Linux 3.0</_name>
-    <version>3</version>
+    <version>3.0</version>
     <_vendor>Debian Project</_vendor>
     <family>linux</family>
     <distro>debian</distro>
diff --git a/data/os/debian.org/debian-4.xml.in b/data/os/debian.org/debian-4.xml.in
index 051f653..7a227a2 100644
--- a/data/os/debian.org/debian-4.xml.in
+++ b/data/os/debian.org/debian-4.xml.in
@@ -5,7 +5,7 @@
     <short-id>debian4</short-id>
     <short-id>debianetch</short-id>
     <_name>Debian GNU/Linux 4.0</_name>
-    <version>4</version>
+    <version>4.0</version>
     <_vendor>Debian Project</_vendor>
     <family>linux</family>
     <distro>debian</distro>
diff --git a/data/os/debian.org/debian-5.xml.in b/data/os/debian.org/debian-5.xml.in
index 7dc2f4e..e5ce063 100644
--- a/data/os/debian.org/debian-5.xml.in
+++ b/data/os/debian.org/debian-5.xml.in
@@ -5,7 +5,7 @@
     <short-id>debian5</short-id>
     <short-id>debianlenny</short-id>
     <_name>Debian GNU/Linux 5.0</_name>
-    <version>5</version>
+    <version>5.0</version>
     <_vendor>Debian Project</_vendor>
     <family>linux</family>
     <distro>debian</distro>
diff --git a/data/os/debian.org/debian-6.xml.in b/data/os/debian.org/debian-6.xml.in
index 6f8ca5d..243c6d6 100644
--- a/data/os/debian.org/debian-6.xml.in
+++ b/data/os/debian.org/debian-6.xml.in
@@ -5,7 +5,7 @@
     <short-id>debian6</short-id>
     <short-id>debiansqueeze</short-id>
     <_name>Debian 6.0</_name>
-    <version>6</version>
+    <version>6.0</version>
     <_vendor>Debian Project</_vendor>
     <family>linux</family>
     <distro>debian</distro>
-- 
2.20.1