Breno, I've upload a new package with requested fixes. dget -x https://mentors.debian.net/debian/pool/main/w/wok/wok_2.3.0-1.dsc Let me know if anything else is necessary for wok. Thanks, -- Lucio Correia