From 9b6b0e15eba36e65e7299d0e695c1ac5bd5bdfbc Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Tue, 7 Apr 2020 16:38:10 +0200
Subject: [PATCH] New package version in debian stable (#104)

Fix also table syntax
---
 index/gt/gtkada.toml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/index/gt/gtkada.toml b/index/gt/gtkada.toml
index f274d8d7..b8b5823b 100644
--- a/index/gt/gtkada.toml
+++ b/index/gt/gtkada.toml
@@ -6,6 +6,10 @@ maintainers-logins = ["mosteo"]
 
 [[external]]
 kind = "system"
-available.'case(toolchain)'.user = false
+
+   [external.available.'case(toolchain)']
+   user = false
+
    [external.origin.'case(distribution)']
-   'debian|ubuntu' = ["libgtkada16.1.0-dev"]
+   debian = ["libgtkada18-dev"]
+   ubuntu = ["libgtkada16.1.0-dev"]