mysqlWorkbench: fix after lua upgrade for ZHF

Changed files
+1 -1
pkgs
top-level
+1 -1
pkgs/top-level/all-packages.nix
···
lkproof = callPackage ../tools/typesetting/tex/lkproof { };
mysqlWorkbench = newScope gnome ../applications/misc/mysql-workbench {
-
lua = lua5;
+
lua = lua5_1;
inherit (pythonPackages) pexpect paramiko;