Hi, On Sun, Sep 08, 2019 at 10:15:06AM +0400, Saif Abdul Cassim wrote: > Package: wnpp > Owner: Saif Abdul Cassim <saif...@cse.mrt.ac.lk> > Severity: wishlist > > * Package name : intellij-community-idea > Version : 0~183.5429.1 > Upstream Author : Jetbrains > * URL : https://github.com/picocontainer/PicoContainer1 > * License : Apache-2.0 > Programming Lang: Java > Description : Jars needed by kotlin built from intellij-community > > IntelliJ IDEA Community Edition source code is available from > github.com/JetBrains/intellij-community by either cloning or downloading a > zip file (based on a branch) into <IDEA_HOME>. The default is the *master* > branch. > > This package packages the jars that are needed from itnellij-community for > Kotlin 1.3.30 which I am working on. > > I plan to maintain this package with the debian java maintainers team. This > package is needed for kotlin.
There is as well the RFP bug as http://bugs.debian.org/747616, this is the same? Regards, Salvatore
