From 02da50a24122fb6f3094b1f2576b70dfaf80c314 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Mon, 7 Sep 2020 11:01:03 +0200 Subject: [PATCH] Add Ubuntu 20.04 release of gtkada (#140) --- index/gt/gtkada/gtkada-external.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index/gt/gtkada/gtkada-external.toml b/index/gt/gtkada/gtkada-external.toml index c3b01346..fe2134ae 100644 --- a/index/gt/gtkada/gtkada-external.toml +++ b/index/gt/gtkada/gtkada-external.toml @@ -6,8 +6,8 @@ maintainers-logins = ["mosteo"] [[external]] kind = "system" -[external.available."case(toolchain)"] -user = false +available."case(toolchain)".user = false + [external.origin."case(distribution)"] debian = ["libgtkada18-dev"] -ubuntu = ["libgtkada16.1.0-dev"] +ubuntu = ["libgtkada16.1.0-dev", "libgtkada19-dev"]