Just wondered if electronic-lab works on CentOS? Thx.