does vavr 0.10.0 in Debian work for Kotlin's javaslang dependency?

The version of Kotlin we are bootstrapping needs javaslang. That project changed its name to vavr and is included in Debian. Does that version work for building the Kotlin version we are bootstraping? If not, then there needs to be a bootstraping plan for that. Maybe its then easiest to patch it out?