Add dex.spec