From 3f9388436b5e029d0a73478659ea9e45135d0c3b Mon Sep 17 00:00:00 2001 From: Vladimír Čunát Date: Sat, 18 Jan 2014 17:06:56 +0100 Subject: tarball/release: change gnat44 (removed) into gnat --- pkgs/top-level/release-small.nix | 2 +- pkgs/top-level/release.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'pkgs/top-level') diff --git a/pkgs/top-level/release-small.nix b/pkgs/top-level/release-small.nix index 8a91954fdf5a..213358bc8ce7 100644 --- a/pkgs/top-level/release-small.nix +++ b/pkgs/top-level/release-small.nix @@ -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; diff --git a/pkgs/top-level/release.nix b/pkgs/top-level/release.nix index 5ccdb6985f9c..c0800c8cad1d 100644 --- a/pkgs/top-level/release.nix +++ b/pkgs/top-level/release.nix @@ -126,7 +126,7 @@ let glibcLocales = linux; glxinfo = linux; gnash = linux; - gnat44 = linux; + gnat = linux; gnugrep = all; gnum4 = all; gnumake = all; -- cgit 1.4.1