diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2014-01-18 17:06:56 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2014-01-18 17:06:56 +0100 |
commit | 3f9388436b5e029d0a73478659ea9e45135d0c3b (patch) | |
tree | f858e4cf8ee1e748d97a37aaa625e77e6e9eec29 /pkgs/top-level/release-small.nix | |
parent | 0a58b512cb696b2482cbac4fd3a20b43ae31c1bc (diff) |
tarball/release: change gnat44 (removed) into gnat
Diffstat (limited to 'pkgs/top-level/release-small.nix')
-rw-r--r-- | pkgs/top-level/release-small.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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; |