[Git][java-team/checker-framework-java][master] 4 commits: Refresh packaging

[Olek Wojnar (@olek)]

Olek Wojnar pushed to branch master at Debian Java Maintainers / checker-framework-java


Commits:
f65975e6 by Olek Wojnar at 2023-01-03T11:49:51-05:00
Refresh packaging

- - - - -
45369bc1 by Olek Wojnar at 2023-01-03T11:54:25-05:00
New upstream version 3.2.0+ds
- - - - -
f7fd0e01 by Olek Wojnar at 2023-01-03T11:54:30-05:00
Update upstream source from tag 'upstream/3.2.0+ds'

Update to upstream version '3.2.0+ds'
with Debian dir 75a87a8ae0af8ea6929bd200053171013a362e9f
- - - - -
097b234e by Olek Wojnar at 2023-01-03T11:59:06-05:00
Refresh patches

- - - - -


30 changed files:

- .gitignore
- .travis-build.sh
- azure-pipelines.yml
- build.gradle
- changelog.txt
- checker-qual/build.gradle
- checker/bin-devel/Dockerfile-ubuntu-jdk11
- checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
- checker/bin-devel/Dockerfile-ubuntu-jdk11-plus-buildjdk
- checker/bin-devel/Dockerfile-ubuntu-jdk8
- checker/bin-devel/Dockerfile-ubuntu-jdk8-plus
- checker/bin-devel/build.sh
- checker/bin-devel/count-suppressions
- checker/bin-devel/git.pre-commit
- checker/bin-devel/javac-debug
- checker/bin-devel/test-all-tests.sh
- checker/bin-devel/test-cf-inference.sh
- checker/bin-devel/test-daikon.sh
- checker/bin-devel/test-downstream.sh
- + checker/bin-devel/test-guava.sh
- checker/bin-devel/test-jdk-jar.sh
- checker/bin-devel/test-junit-tests.sh
- checker/bin-devel/test-misc.sh
- checker/bin-devel/test-nonjunit-tests.sh
- checker/bin-devel/test-plume-lib.sh
- checker/bin/infer-and-annotate.sh
- checker/build.gradle
- checker/jtreg/nullness/PersistUtil.java
- checker/jtreg/nullness/defaultsPersist/Fields.java
- checker/jtreg/nullness/defaultsPersist/ReferenceInfoUtil.java


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/compare/297327d3ba0dc05d5c628fd90097fa159f28bb31...097b234e869cc28ea8ea4219f8893382ad8b0fe2

-- 
View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/compare/297327d3ba0dc05d5c628fd90097fa159f28bb31...097b234e869cc28ea8ea4219f8893382ad8b0fe2
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20230103/ae3bc570/attachment.htm>