Change in coreboot[master]: coreboot-sdk: Prefer gnat package over gnat-6

[Nico Huber (Code Review)]

Nico Huber has submitted this change and it was merged. ( https://review.coreboot.org/29454 )

Change subject: coreboot-sdk: Prefer gnat package over gnat-6
......................................................................

coreboot-sdk: Prefer gnat package over gnat-6

The choice of `gnat-6` was originally an optimization because the meta-
package `gnat` installs not only the current GNAT version but also other
unwanted (and hard to explain) dependencies. Later it was necessary
because GCC 8 couldn't compile our older crossgcc.

Now that we switched crossgcc to GCC 8.1, `gnat` should be fine.

Change-Id: Ica8a1f9d6d71a74ffc4ec76aa0cfbe4b604cde1b
Signed-off-by: Nico Huber 
Reviewed-on: https://review.coreboot.org/29454
Reviewed-by: Martin Roth 
Tested-by: build bot (Jenkins) 
---
M util/docker/coreboot-sdk/Dockerfile
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  build bot (Jenkins): Verified
  Martin Roth: Looks good to me, approved

diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile
index 44682f8..bdfbf4a 100644
--- a/util/docker/coreboot-sdk/Dockerfile
+++ b/util/docker/coreboot-sdk/Dockerfile
@@ -34,7 +34,7 @@
    	gawk \
    	gcc \
    	git \
-		gnat-6 \
+		gnat \
    	graphviz \
    	libfreetype6-dev \
    	libftdi-dev \