diff options
author | obadz <dav-github@odav.org> | 2015-03-30 23:48:25 +0100 |
---|---|---|
committer | obadz <dav-github@odav.org> | 2015-03-30 23:48:25 +0100 |
commit | 1129f6b0dbc3b7739972c9b0e53359633f32b31b (patch) | |
tree | 46a742f260202658c176fa0861a25e02c0fb4230 /pkgs/development/libraries/gnome-sharp | |
parent | e07ea5cf77601325b16f51fb457b90d5aadfab6f (diff) |
mono 3.8.0 -> 3.12.1
monodevelop 5.1.4.0 -> 5.7.0.660
Diffstat (limited to 'pkgs/development/libraries/gnome-sharp')
-rw-r--r-- | pkgs/development/libraries/gnome-sharp/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gnome-sharp/default.nix b/pkgs/development/libraries/gnome-sharp/default.nix index 5818726e345eb..59f97e46bef0f 100644 --- a/pkgs/development/libraries/gnome-sharp/default.nix +++ b/pkgs/development/libraries/gnome-sharp/default.nix @@ -12,6 +12,8 @@ stdenv.mkDerivation { patches = [ ./Makefile.in.patch ]; + dontStrip = true; + meta = with stdenv.lib; { homepage = http://www.mono-project.com/docs/gui/gtksharp/; description = "A .NET language binding for assorted GNOME libraries"; |