···2020in
2121stdenv.mkDerivation rec {
2222 pname = "displaylink";
2323- version = "5.3.1.34";
2323+ version = "5.4.0-55.153";
24242525 src = requireFile rec {
2626 name = "displaylink.zip";
2727- sha256 = "1c1kbjgpb71f73qnyl44rvwi6l4ivddq789rwvvh0ahw2jm324hy";
2727+ sha256 = "1m2l3bnlfwfp94w7khr05npsbysg9mcyi7hi85n78xkd0xdcxml8";
2828 message = ''
2929 In order to install the DisplayLink drivers, you must first
3030 comply with DisplayLink's EULA and download the binaries and
3131 sources from here:
32323333- https://www.displaylink.com/downloads/file?id=1576
3333+ https://www.synaptics.com/node/3751
34343535 Once you have downloaded the file, please use the following
3636 commands and re-run the installation: