Hamish Moffatt <hamish@debian.org> writes: > It has always been Debian policy that we don't use /opt. Surprisingly > this is not actually written into the formal Debian policy, which may > be an oversight. I think it's been taken to be required by the FHS. But I have no objection to adding it to policy explicitly too.