Update Dokaml package