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

• 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