Package: checker-framework-java / 3.0.1+ds2-3

Metadata

Package Version Patches format
checker-framework-java 3.0.1+ds2-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
fix gradle build.patch | (download)

build.gradle | 594 4 + 590 - 0 !
settings.gradle | 6 0 + 6 - 0 !
2 files changed, 4 insertions(+), 596 deletions(-)

 
 allow gradle to correctly build this package
remove doc image links.patch | (download)

docs/developer/gsoc-ideas.html | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 
 use local source for auto-fetched images