History of debian / patches / 01-java11-compatibility.patch @master

• Reverted to the version 0.6.0 expected by SBT 0.13.x Emmanuel Bourg 7 years ago
• Fixed a build failure with Java 11 Emmanuel Bourg 7 years ago