···11111212in stdenv.mkDerivation rec {
1313 name = "displaylink-${version}";
1414- version = "1.3.52";
1414+ version = "4.1.9";
15151616 src = requireFile rec {
1717 name = "displaylink.zip";
1818- sha256 = "0ridpsxcf761vym0nlpq702qa46ynddzci17bjmyax2pph7khr0k";
1818+ sha256 = "d762145014df7fea8ca7af12206a077d73d8e7f2259c8dc2ce7e5fb1e69ef9a3";
1919 message = ''
2020 In order to install the DisplayLink drivers, you must first
2121 comply with DisplayLink's EULA and download the binaries and
2222 sources from here:
23232424- http://www.displaylink.com/downloads/file?id=744
2424+ http://www.displaylink.com/downloads/file?id=1087
25252626 Once you have downloaded the file, please use the following
2727 commands and re-run the installation:
···56565757 fixupPhase
5858 '';
5959+6060+ dontStrip = true;
6161+ dontPatchELF = true;
59626063 meta = with stdenv.lib; {
6164 description = "DisplayLink DL-5xxx, DL-41xx and DL-3x00 Driver for Linux";