which distribution of linux is used by the project whose event is the developer of the software distribution platform half-life ?
debian