Linux Lite 4.0 代号“钻石”正式发布，不再提供 32 位 ISO