···11-{lib, stdenv, fetchurl}:
11+{lib, gcc10Stdenv, fetchurl}:
2233-stdenv.mkDerivation rec {
33+gcc10Stdenv.mkDerivation rec {
44 version = "3.99-u4-b5";
55- pname = "monkeys-audio";
55+ pname = "monkeys-audio-old";
6677 patches = [ ./buildfix.diff ];
8899 src = fetchurl {
1010+ /*
1111+ The real homepage is <https://monkeysaudio.com/>, but in fact we are
1212+ getting an old, ported to Linux version of the sources, made by (quoting
1313+ from the AUTHORS file found in the source):
1414+1515+ Frank Klemm : First port to linux (with makefile)
1616+1717+ SuperMMX <SuperMMX AT GMail DOT com> : Package the source, include the frontend and shared lib,
1818+ porting to Big Endian platform and adding other non-win32 enhancement.
1919+ */
1020 url = "https://deb-multimedia.org/pool/main/m/${pname}/${pname}_${version}.orig.tar.gz";
1121 sha256 = "0kjfwzfxfx7f958b2b1kf8yj655lp0ppmn0sh57gbkjvj8lml7nz";
1222 };
···1424 meta = with lib; {
1525 description = "Lossless audio codec";
1626 platforms = platforms.linux;
1717- license = licenses.lgpl2;
2727+ # This is not considered a GPL license, but it seems rather free although
2828+ # it's not standard, see a quote of it:
2929+ # https://github.com/NixOS/nixpkgs/pull/171682#issuecomment-1120260551
3030+ license = licenses.free;
1831 maintainers = [ ];
1932 };
2033}