From acf910102a6c3583dfc8d988a2d6801ccc4a2666 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 19 Jun 2023 14:13:48 +0200 Subject: [PATCH] aws 23.0.0: fix gnat dependency (#795) Any kind of gnat can be used, not just `gnat_native` --- index/aw/aws/aws-23.0.0.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index/aw/aws/aws-23.0.0.toml b/index/aw/aws/aws-23.0.0.toml index ee5616e6..0d9682bb 100644 --- a/index/aw/aws/aws-23.0.0.toml +++ b/index/aw/aws/aws-23.0.0.toml @@ -21,7 +21,7 @@ command = ["make", "setup", "ZLIB=false", "DEMOS=false", xmlada = "~23.0.0" gnatcoll = "~23.0.0" make = "*" -gnat_native = ">=12" +gnat = ">=12" openssl = "*" [gpr-externals]