Ubuntu
checker-framework-java package

ubuntu/+source/checker-framework-java:applied/ubuntu/mantic-devel

  1. Git
  2. lp:ubuntu/+source/checker-framework-java
  3. applied/ubuntu/mantic-devel
Last commit made on 2023-07-14
Get this branch:
git clone -b applied/ubuntu/mantic-devel https://git.launchpad.net/ubuntu/+source/checker-framework-java
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/mantic-devel
Repository:
lp:ubuntu/+source/checker-framework-java

Recent commits

aa3f84b... by Olek Wojnar

3.2.0+ds-2 (patches applied)

Imported using git-ubuntu import.

fb779f5... by Olek Wojnar

Build correctly since caseTree.getExpression() is deprecated

Gbp-Pq: deprecated-getexpression.patch.

54a3d7f... by Olek Wojnar

Use local source for auto-fetched images

Gbp-Pq: remove-doc-image-links.patch.

f54d1a3... by Olek Wojnar

Allow Gradle to correctly build this package

Gbp-Pq: fix-gradle-build.patch.

50543dc... by Olek Wojnar

3.2.0+ds-2 (patches unapplied)

Imported using git-ubuntu import.

74e6699... by Olek Wojnar

3.2.0+ds-1 (patches applied)

Imported using git-ubuntu import.

f48fa45... by Olek Wojnar

3.2.0+ds-1 (patches unapplied)

Imported using git-ubuntu import.

bae5635... by Olek Wojnar

Use local source for auto-fetched images

Gbp-Pq: remove-doc-image-links.patch.

5da2d99... by Olek Wojnar

Allow Gradle to correctly build this package

Gbp-Pq: fix-gradle-build.patch.

532fc81... by Andreas Tille

3.0.1+ds2-4 (patches applied)

Imported using git-ubuntu import.