Workplace for GHDL Debian package