···11+{ stdenv, fetchurl }:
22+33+stdenv.mkDerivation {
44+ name = "wavrsocvt-1.0.2.0";
55+66+ src = fetchurl {
77+ url = "http://bricxcc.sourceforge.net/wavrsocvt.tgz";
88+ sha256 = "15qlvdfwbiclljj7075ycm78yzqahzrgl4ky8pymix5179acm05h";
99+ };
1010+1111+ phases = [ "unpackPhase" "installPhase" ];
1212+1313+ unpackPhase = ''
1414+ tar -zxf $src
1515+ '';
1616+1717+ installPhase = ''
1818+ mkdir -p $out/bin
1919+ cp wavrsocvt $out/bin
2020+ '';
2121+2222+ meta = with stdenv.lib; {
2323+ description = "Convert .wav files into sound files for Lego NXT brick";
2424+ longDescription = ''
2525+ wavrsocvt is a command-line utility which can be used from a
2626+ terminal window or script to convert .wav files into sound
2727+ files for the NXT brick (.rso files). It can also convert the
2828+ other direction (i.e., .rso -> .wav). It can produce RSO files
2929+ with a sample rate between 2000 and 16000 (the min/max range of
3030+ supported sample rates in the standard NXT firmware).
3131+ You can then upload these with e.g. nxt-python.
3232+ '';
3333+ homepage = http://bricxcc.sourceforge.net/;
3434+ license = licenses.mpl11;
3535+ maintainers = with maintainers; [ leenaars ];
3636+ platforms = with platforms; linux;
3737+ };
3838+}