8514d71fdd732bdb4e375bc2c2ed5253245825e4 to b9ec13ab59b3693e06d53f9dfbdb7740406b923b · Debian Java Maintainers / gradle-jflex-plugin · GitLab

Commits on Source 8

Add missing de.jflex:cup_runtime dependency to pom.xml. · bec51d11
Markus Koschany authored Oct 01, 2018

bec51d11
Switch to compat level 11. · 365dd000
Markus Koschany authored Oct 01, 2018

365dd000
Declare compliance with Debian Policy 4.2.1. · da6fd084
Markus Koschany authored Oct 01, 2018

da6fd084
Tighten B-D on jflex. · 9985abc3
Markus Koschany authored Oct 01, 2018

9985abc3
Add jflex-cup_runtime.patch. Build-Depend on cup_runtime artifact and use · ca23d2d6
Markus Koschany authored Oct 01, 2018
```
source/target level 1.7.
```
ca23d2d6
Use https for Format field. · 55a4d47d
Markus Koschany authored Oct 02, 2018

55a4d47d
Update changelog · 6a4a4ab5
Markus Koschany authored Oct 02, 2018

6a4a4ab5
Update patch header · b9ec13ab
Markus Koschany authored Oct 02, 2018

b9ec13ab