Add Ubuntu 20.04 release of gtkada (#140)

2020-09-07 11:01:03 +02:00
parent 86228d944a
commit 02da50a241
1 changed files with 3 additions and 3 deletions
@@ -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"]