Kotlin 1.3.7 released
Current version in our repositories
New version available upstream
Changing just these two lines seems to suffice.
Installing the current version fails at importing the PGP key. Apparently the key
66D41CEB8E3D8F30, "gnastyle <BM-2cTv4XtvC9UQ8TdFCfPNySv2omc8T6m3sv@bitmessage.ch>" hasn't been used in Chakra for a couple years. Since I have only encountered this particular key import issue with this package, and this package won't be affected after it's updated, I don't think the PGP key issue is worth a separate bug at this time.