Package: checker-framework-java / 3.2.0+ds-1

Metadata

Package Version Patches format
checker-framework-java 3.2.0+ds-1 3.0 (quilt)

Patch series

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

build.gradle | 636 3 + 633 - 0 !
settings.gradle | 6 0 + 6 - 0 !
2 files changed, 3 insertions(+), 639 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