···2020in
2121stdenv.mkDerivation rec {
2222 pname = "displaylink";
2323- version = "5.5.0-59.151";
2323+ version = "5.6.0-59.176";
24242525 src = requireFile rec {
2626- name = "displaylink-55.zip";
2727- sha256 = "0pswmczzrqqq0s0ksp6rfnkm693ligq4nblki1v53jdh0y7d1gff";
2626+ name = "displaylink-56.zip";
2727+ sha256 = "1v9s4ksr4mnl629n24si14g762b7knr00sqacz60mxcmy4mch5fa";
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.synaptics.com/products/displaylink-graphics/downloads/ubuntu-5.5
3333+ https://www.synaptics.com/products/displaylink-graphics/downloads/ubuntu-5.6
34343535 Once you have downloaded the file, please use the following
3636 commands and re-run the installation:
37373838- mv \$PWD/"DisplayLink USB Graphics Software for Ubuntu5.5-EXE.zip" \$PWD/${name}
3838+ mv \$PWD/"DisplayLink USB Graphics Software for Ubuntu5.6-EXE.zip" \$PWD/${name}
3939 nix-prefetch-url file://\$PWD/${name}
4040 '';
4141 };