Merge pull request #33499 from dtzWill/fix/aterm25-doesnt-exist

release-small: remove dead attribute aterm25, removed early 2016
This commit is contained in:
Graham Christensen 2018-01-05 21:16:44 -05:00 committed by GitHub
commit 911e4d9100
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,6 @@ with import ./release-lib.nix { inherit supportedSystems; };
aspell = all;
at = linux;
atlas = linux;
aterm25 = all;
autoconf = all;
automake = all;
avahi = allBut cygwin; # Cygwin builds fail