2 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/arduino/arduino-core/default.nix b/pkgs/development/arduino/arduino-core/default.nix
index 27d712274245..f1be290b190e 100644
--- a/pkgs/development/arduino/arduino-core/default.nix
+++ b/pkgs/development/arduino/arduino-core/default.nix
@@ -37,5 +37,6 @@ stdenv.mkDerivation rec {
     description = "Arduino libraries";
     homepage = http://arduino.cc/;
     license = "GPL";
+    maintainers = [ stdenv.lib.maintainers.antono ];
   }; 
 }
diff --git a/pkgs/development/arduino/ino/default.nix b/pkgs/development/arduino/ino/default.nix
index d63a610666d5..84961f2af59c 100644
--- a/pkgs/development/arduino/ino/default.nix
+++ b/pkgs/development/arduino/ino/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, buildPythonPackage, minicom, avrdude, arduino_core }:
+{ stdenv, fetchurl, buildPythonPackage, minicom, avrdude, arduino_core, avrgcclibc }:
 
 buildPythonPackage {
   name = "ino-0.3.4";
@@ -9,7 +9,7 @@ buildPythonPackage {
     sha256 = "1v7z3da31cv212k28aci269qkg92p377fm7i76rymjjpjra7payv";
   };
 
-  propagatedBuildInputs = [ minicom avrdude arduino_core ];
+  propagatedBuildInputs = [ minicom avrdude arduino_core avrgcclibc ];
 
   patchPhase = ''
     echo "Patching Arduino distribution path"