GNU/Linux distro integration : debian
Are there any work done to get these nice software in distros ? and especially debian (or derived) ?
If not, I'll put this on my todo list :
We do not have any contacts to the Linux community, so unfortunately no one is working on including DrJava with Linux distributions. If you could help us there, we would be very thankful.