filename

fun filename(version: Int, file: Path? = null): String(source)

Returns an archive filename for the specified Jextract version, using the data from an optional file, falls back to the official distribution data