corner image corner image corner image corner image Debian NEW package overview for checker-framework
checker-framework_3.0.0+repack1-1~exp2_amd64.changes (click to toggle)
Format:1.8
Date:Fri, 15 May 2020 09:59:11 -0400
Source:checker-framework
Binary:libchecker-framework-java
Architecture:source all
Version:3.0.0+repack1-1~exp2
Distribution:experimental
Urgency:medium
Maintainer:Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Changed-By:Olek Wojnar <olek@debian.org>
Description:
libchecker-framework-java - Framework that makes Java’s type system more powerful and useful
Closes:959832
Changes:
checker-framework (3.0.0+repack1-1~exp2) experimental; urgency=medium

  * Ephemeral upload to experimental to clear NEW
  * Initial release (Closes: #959832)
Files:
9acf10afbc7a3f460b7266a3d454fb80 2174 java optional checker-framework_3.0.0+repack1-1~exp2.dsc
fe39dd6c1331462186afd02e91322732 60100 java optional checker-framework_3.0.0+repack1.orig.tar.xz
13a94e1789643f1041c64bef33d578df 3692 java optional checker-framework_3.0.0+repack1-1~exp2.debian.tar.xz
a97f6e6889edf250c67cc7b7e7a82b85 12260 java optional checker-framework_3.0.0+repack1-1~exp2_amd64.buildinfo
30f54b5a63b4efa9827458a1b65d4876 135520 java optional libchecker-framework-java_3.0.0+repack1-1~exp2_all.deb
checker-framework_3.0.0+repack1-1~exp2.dsc (click to toggle)
Format:3.0 (quilt)
Source:checker-framework
Binary:libchecker-framework-java
Architecture:all
Version:3.0.0+repack1-1~exp2
Maintainer:Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders:Andreas Tille <tille@debian.org>, Olek Wojnar <olek@debian.org>,
Homepage:https://github.com/typetools/checker-framework
Standards-Version:4.5.0
Vcs-Browser:https://salsa.debian.org/java-team/checker-framework
Vcs-Git:https://salsa.debian.org/java-team/checker-framework.git
Build-Depends:debhelper-compat (=13), default-jdk, maven-debian-helper
Package-List:libchecker-framework-java deb java optional arch=all
Files:
fe39dd6c1331462186afd02e91322732 60100 checker-framework_3.0.0+repack1.orig.tar.xz
13a94e1789643f1041c64bef33d578df 3692 checker-framework_3.0.0+repack1-1~exp2.debian.tar.xz
lintian 2.73.0~bpo10+1 check for checker-framework_3.0.0+repack1-1~exp2.dsc (click to toggle)
README.source for checker-framework_3.0.0+repack1-1~exp2.dsc (click to toggle)
checker-framework for Debian
---------------------------

This is currently packaged in an unconventional way to avoid the impact of
Bug #926714. [1] To download newest upstream, run the following commands in
the root of the unpacked sourcetree:
uscan --safe --force-download
debian/uupdate --upstream-version <version-number-no-suffix>

Once Gradle >= 5.0.0 and jengelman-shadow >= 5.1.0 are
packaged, this package should build normally from standard source.[2]

The following will need to be changed:
d/copyright Source
d/watch
and this file

Credit for this unconventional approach goes to Yun Peng <pcloudy@google.com>.

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=926714
[2] https://github.com/typetools/checker-framework


 -- Olek Wojnar <olek@debian.org>  Fri, 15 May 2020 09:59:11 -0400

control file for libchecker-framework-java_3.0.0+repack1-1~exp2_all.deb (click to toggle)
Package:libchecker-framework-java
Source:checker-framework
Version:3.0.0+repack1-1~exp2
Architecture:all
Maintainer:Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Installed-Size:214
Section:java
Priority:optional
Homepage:https://github.com/typetools/checker-framework
Description:
Framework that makes Java’s type system more powerful and useful
 A "checker" is a tool that warns you about certain errors or gives you a
 guarantee that those errors do not occur. The Checker Framework comes with
 checkers for 24 specific types of errors.
lintian 2.73.0~bpo10+1 check for libchecker-framework-java_3.0.0+repack1-1~exp2_all.deb (click to toggle)
contents of libchecker-framework-java_3.0.0+repack1-1~exp2_all.deb (click to toggle)
drwxr-xr-x root/root         0 2020-05-15 13:59 ./
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/doc/libchecker-framework-java/
-rw-r--r-- root/root       205 2020-05-15 13:59 ./usr/share/doc/libchecker-framework-java/changelog.Debian.gz
-rw-r--r-- root/root      1478 2020-05-15 13:59 ./usr/share/doc/libchecker-framework-java/copyright
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/java/
-rw-r--r-- root/root    195422 2020-05-15 13:59 ./usr/share/java/checker-qual.jar
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.0/
-rw-r--r-- root/root      1102 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.0/checker-qual-3.0.0.pom
drwxr-xr-x root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/
-rw-r--r-- root/root      1103 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.pom
lrwxrwxrwx root/root         0 2020-05-15 13:59 ./usr/share/java/checker-qual-3.0.0.jar -> checker-qual.jar
lrwxrwxrwx root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.0/checker-qual-3.0.0.jar -> ../../../../../java/checker-qual.jar
lrwxrwxrwx root/root         0 2020-05-15 13:59 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.jar -> ../../../../../java/checker-qual.jar

Timestamp: 17.05.2020 / 21:01:04 (UTC)