tarball/release: change gnat44 (removed) into gnat

This commit is contained in:
Vladimír Čunát 2014-01-18 17:06:56 +01:00
parent 0a58b512cb
commit 3f9388436b
2 changed files with 2 additions and 2 deletions

@ -55,7 +55,7 @@ with import ./release-lib.nix { inherit supportedSystems; };
ghdl = linux;
glibc = linux;
glibcLocales = linux;
gnat44 = linux;
gnat = linux;
gnugrep = all;
gnum4 = all;
gnumake = all;

@ -126,7 +126,7 @@ let
glibcLocales = linux;
glxinfo = linux;
gnash = linux;
gnat44 = linux;
gnat = linux;
gnugrep = all;
gnum4 = all;
gnumake = all;