corner image corner image corner image corner image Debian NEW package overview for checker-framework-java
checker-framework-java_3.0.1+ds-1~exp2_amd64.changes (click to toggle)
Format:1.8
Date:Sun, 05 Jul 2020 20:48:23 -0400
Source:checker-framework-java
Binary:libchecker-framework-java
Architecture:source all
Version:3.0.1+ds-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
Changes:
checker-framework-java (3.0.1+ds-1~exp2) experimental; urgency=medium

  * Backport license clarifications from upstream in d/copyright
    - https://github.com/typetools/checker-framework/issues/3429
Files:
2d1880c3b51d94c56640e8aa0fbd8e5d 2333 java optional checker-framework-java_3.0.1+ds-1~exp2.dsc
a78569193da706cbec559398d4aeb990 11984 java optional checker-framework-java_3.0.1+ds-1~exp2.debian.tar.xz
1d5e1f6189706807ef8d68ba284c0da4 13745 java optional checker-framework-java_3.0.1+ds-1~exp2_amd64.buildinfo
aa89958cacc9d2180f58c1c9e4f47d26 3078556 java optional libchecker-framework-java_3.0.1+ds-1~exp2_all.deb
checker-framework-java_3.0.1+ds-1~exp2.dsc (click to toggle)
Format:3.0 (quilt)
Source:checker-framework-java
Binary:libchecker-framework-java
Architecture:all
Version:3.0.1+ds-1~exp2
Maintainer:Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders:Olek Wojnar <olek@debian.org>, Andreas Tille <tille@debian.org>,
Homepage:https://github.com/typetools/checker-framework
Standards-Version:4.5.0
Vcs-Browser:https://salsa.debian.org/java-team/checker-framework-java
Vcs-Git:https://salsa.debian.org/java-team/checker-framework-java.git
Build-Depends:android-sdk-helper, bnd, debhelper-compat (=13), default-jdk, gradle-apt-plugin, gradle-debian-helper, libgradle-android-plugin-java, libgradle-core-java, libgradle-plugins-java, maven-repo-helper
Package-List:libchecker-framework-java deb java optional arch=all
Files:
92e177e4985d04fc273301a3d07e2eaf 4255492 checker-framework-java_3.0.1+ds.orig.tar.xz
a78569193da706cbec559398d4aeb990 11984 checker-framework-java_3.0.1+ds-1~exp2.debian.tar.xz
lintian 2.79.0~bpo10+1 check for checker-framework-java_3.0.1+ds-1~exp2.dsc (click to toggle)
README.source for checker-framework-java_3.0.1+ds-1~exp2.dsc (click to toggle)
No README.source in this package
control file for libchecker-framework-java_3.0.1+ds-1~exp2_all.deb (click to toggle)
Package:libchecker-framework-java
Source:checker-framework-java
Version:3.0.1+ds-1~exp2
Architecture:all
Maintainer:Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Installed-Size:3745
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.79.0~bpo10+1 check for libchecker-framework-java_3.0.1+ds-1~exp2_all.deb (click to toggle)
contents of libchecker-framework-java_3.0.1+ds-1~exp2_all.deb (click to toggle)
drwxr-xr-x root/root         0 2020-07-06 00:48 ./
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/
-rw-r--r-- root/root       324 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/README.md
-rw-r--r-- root/root       360 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/changelog.Debian.gz
-rw-r--r-- root/root     33741 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/changelog.gz
-rw-r--r-- root/root      4177 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/checker-framework-quick-start.html
-rw-r--r-- root/root      9022 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/checker-framework-webpage.html
-rw-r--r-- root/root      5087 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/copyright
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/developer/
-rw-r--r-- root/root     14931 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/developer/developer-manual.html
-rw-r--r-- root/root      2080 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/developer/gsoc-ideas-old-html.gz
-rw-r--r-- root/root     84751 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/developer/gsoc-ideas.html
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/
-rw-r--r-- root/root       914 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/InterningExample.java
-rw-r--r-- root/root       910 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/InterningExampleWithWarnings.java
-rw-r--r-- root/root      1627 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/LockExample.java
-rw-r--r-- root/root       530 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/Makefile
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/
-rw-r--r-- root/root       211 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/Makefile
-rw-r--r-- root/root       402 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/README
-rw-r--r-- root/root      6431 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/pom.xml
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework/example/
-rw-r--r-- root/root       705 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework/example/MavenExample.java
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/
-rw-r--r-- root/root       211 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/Makefile
-rw-r--r-- root/root       397 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/README
-rw-r--r-- root/root      5008 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/pom.xml
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework/example/
-rw-r--r-- root/root       992 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework/example/MavenExample.java
-rw-r--r-- root/root      1253 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/NullnessExample.java
-rw-r--r-- root/root      1223 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/NullnessExampleWithWarnings.java
-rw-r--r-- root/root       924 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/NullnessReleaseTests.java
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/
-rw-r--r-- root/root      2255 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/Demo.java
-rw-r--r-- root/root      4853 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/Expected.txt
-rw-r--r-- root/root      1373 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/Makefile
-rw-r--r-- root/root       280 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/README
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/qual/
-rw-r--r-- root/root       492 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/fenum-extension/qual/MyFenum.java
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/
-rw-r--r-- root/root       564 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/Makefile
-rw-r--r-- root/root       898 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/build.gradle
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lib/
-rw-r--r-- root/root       260 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lib/Foo.java
-rw-r--r-- root/root        82 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lombok.config
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/use/
-rw-r--r-- root/root       189 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/use/User.java
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/
-rw-r--r-- root/root      1057 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Demo.java
-rw-r--r-- root/root       447 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Expected.txt
-rw-r--r-- root/root      1492 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Makefile
-rw-r--r-- root/root       469 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/README
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/
-rw-r--r-- root/root       500 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/Encrypted.java
-rw-r--r-- root/root       440 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/PossiblyUnencrypted.java
drwxr-xr-x root/root         0 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/
-rw-r--r-- root/root      2156 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/Demo.java
-rw-r--r-- root/root       430 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/Expected.txt
-rw-r--r-- root/root      1515 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/Makefile
-rw-r--r-- root/root       552 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/README
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/examples/units-extension/qual/
-rw-r--r-- root/root       665 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/qual/Frequency.java
-rw-r--r-- root/root      2327 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/qual/FrequencyRelations.java
-rw-r--r-- root/root       671 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/qual/Hz.java
-rw-r--r-- root/root       866 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/examples/units-extension/qual/kHz.java
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/logo/
-rw-r--r-- root/root    351156 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/CFLogo.ai.gz
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/
-rw-r--r-- root/root    346736 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark.pdf.gz
-rw-r--r-- root/root       861 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark.png
-rw-r--r-- root/root    346277 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmarkGrayscale.pdf.gz
-rw-r--r-- root/root      2922 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmarkHighRes.png
-rw-r--r-- root/root       827 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark_favicon.png
-rw-r--r-- root/root       570 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark_small.png
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/logo/Logo/
-rw-r--r-- root/root    359405 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo/CFLogo.pdf.gz
-rw-r--r-- root/root      4035 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo/CFLogo.png
-rw-r--r-- root/root    357897 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoGrayscale.pdf.gz
-rw-r--r-- root/root     19068 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoHighRes.png
-rw-r--r-- root/root      7073 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoSmall.png
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/
-rw-r--r-- root/root    351028 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoGrayscale_on_dark.pdf.gz
-rw-r--r-- root/root     18522 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoHighRes_on_dark.png
-rw-r--r-- root/root      2459 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoSmall_on_dark.png
-rw-r--r-- root/root    356833 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogo_on_dark.pdf.gz
-rw-r--r-- root/root      3884 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogo_on_dark.png
-rw-r--r-- root/root       228 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/README
-rw-r--r-- root/root      1409 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/atT80-transparent.png
-rw-r--r-- root/root     22215 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/logo/github-typetools-logo.png
-rw-r--r-- root/root     10570 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/github-typetools-logo.xcf.gz
-rw-r--r-- root/root      1900 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/logo/html-add-favicon
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/manual/
-rw-r--r-- root/root      3958 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/Makefile
-rw-r--r-- root/root       175 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/README
-rw-r--r-- root/root       646 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/add-favicon-to-manual
-rw-r--r-- root/root     18922 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/advanced-features.tex.gz
-rw-r--r-- root/root      3725 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/aliasing-checker.tex.gz
-rw-r--r-- root/root     11100 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/annotating-libraries.tex.gz
-rw-r--r-- root/root      5195 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/constant-value-checker.tex.gz
-rw-r--r-- root/root      1422 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/contributors.tex
-rw-r--r-- root/root     28959 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/creating-a-checker.tex.gz
-rw-r--r-- root/root      3905 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/external-checkers.tex.gz
-rw-r--r-- root/root     14482 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/external-tools.tex.gz
-rw-r--r-- root/root     25348 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/faq.tex.gz
-rw-r--r-- root/root      4427 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/fenum-checker.tex.gz
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc/libchecker-framework-java/manual/figures/
-rw-r--r-- root/root       537 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/Makefile
-rw-r--r-- root/root      1044 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/README
-rw-r--r-- root/root      4026 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/aliasing.svg
-rw-r--r-- root/root     10995 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/classval.svg
-rw-r--r-- root/root      9239 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/fenum.svg
-rw-r--r-- root/root      8801 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/formatter-categories.svg
-rw-r--r-- root/root      7863 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/formatter-hierarchy.svg
-rw-r--r-- root/root      6917 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/i18n-format-category.svg
-rw-r--r-- root/root     11761 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/i18n-format-type-hierarchy.svg
-rw-r--r-- root/root      8867 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/initialization.svg
-rw-r--r-- root/root      9815 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/interning.svg
-rw-r--r-- root/root     12555 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/lock-guardedby.svg
-rw-r--r-- root/root      9074 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/lowerbound.svg
-rw-r--r-- root/root     13530 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/map-key-keyfor.svg
-rw-r--r-- root/root      7535 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/methodval.svg
-rw-r--r-- root/root      3498 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/nullness.svg
-rw-r--r-- root/root      4070 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/optional-subtyping.svg
-rw-r--r-- root/root      5440 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/regex.svg
-rw-r--r-- root/root     12106 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/samelen.svg
-rw-r--r-- root/root     13455 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/searchindex.svg
-rw-r--r-- root/root     31188 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/signature-types.svg
-rw-r--r-- root/root     10079 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/signedness.svg
-rw-r--r-- root/root      5701 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/substringindex.svg
-rw-r--r-- root/root      6129 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/typedef.svg
-rw-r--r-- root/root      8722 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/upperbound.svg
-rw-r--r-- root/root      6281 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/figures/value-subtyping.svg
-rw-r--r-- root/root      7296 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/formatter-checker.tex.gz
-rw-r--r-- root/root     10340 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/generics.tex.gz
-rw-r--r-- root/root      6595 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/guieffect-checker.tex.gz
-rw-r--r-- root/root      3006 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/hevea-retarget-crossrefs
-rw-r--r-- root/root      4948 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/i18n-format-checker.tex.gz
-rw-r--r-- root/root      8984 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/index-checker.tex.gz
-rw-r--r-- root/root      5076 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/inference.tex.gz
-rw-r--r-- root/root      6018 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/interning-checker.tex.gz
-rw-r--r-- root/root     20836 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/introduction.tex.gz
-rw-r--r-- root/root     11528 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/lock-checker.tex.gz
-rw-r--r-- root/root      2832 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/manual-style.tex.gz
-rw-r--r-- root/root      3961 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/manual.bbl.gz
-rw-r--r-- root/root      2663 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/manual.tex
-rw-r--r-- root/root      3521 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/map-key-checker.tex.gz
-rw-r--r-- root/root     23039 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/nullness-checker.tex.gz
-rw-r--r-- root/root      1890 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/optional-checker.tex.gz
-rw-r--r-- root/root      2981 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/propkey-checker.tex.gz
-rw-r--r-- root/root      1795 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/purity-checker.tex.gz
-rw-r--r-- root/root      3842 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/reflection-checker.tex.gz
-rw-r--r-- root/root      2189 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/reflection-inference-rules.tex
-rw-r--r-- root/root      3230 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/regex-checker.tex.gz
-rw-r--r-- root/root      2939 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/signature-checker.tex.gz
-rw-r--r-- root/root      2983 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/signedness-checker.tex.gz
-rw-r--r-- root/root      4848 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/subtyping-checker.tex.gz
-rw-r--r-- root/root      3597 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/tainting-checker.tex.gz
-rw-r--r-- root/root      3203 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/to-do-refactoring.txt.gz
-rw-r--r-- root/root      1878 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/todo.txt
-rw-r--r-- root/root     15880 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/troubleshooting.tex.gz
-rw-r--r-- root/root      2863 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/typestate-checker.tex
-rw-r--r-- root/root      4208 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/units-checker.tex.gz
-rw-r--r-- root/root     10970 2019-12-02 21:59 ./usr/share/doc/libchecker-framework-java/manual/warnings.tex.gz
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/doc-base/
-rw-r--r-- root/root       252 2020-07-04 21:10 ./usr/share/doc-base/libchecker-framework-java
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/java/
-rw-r--r-- root/root    200022 2020-07-06 00:48 ./usr/share/java/checker-qual-3.0.1.jar
-rw-r--r-- root/root    195947 2020-07-06 00:48 ./usr/share/java/checker-qual-android-3.0.1.jar
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.1/
-rw-r--r-- root/root       580 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.1/checker-qual-3.0.1.pom
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/
-rw-r--r-- root/root       581 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.pom
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/3.0.1/
-rw-r--r-- root/root       588 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/3.0.1/checker-qual-android-3.0.1.pom
drwxr-xr-x root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/
-rw-r--r-- root/root       589 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.pom
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/java/checker-qual-android.jar -> checker-qual-android-3.0.1.jar
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/java/checker-qual.jar -> checker-qual-3.0.1.jar
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/3.0.1/checker-qual-3.0.1.jar -> ../../../../../java/checker-qual-3.0.1.jar
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.jar -> ../../../../../java/checker-qual-3.0.1.jar
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/3.0.1/checker-qual-android-3.0.1.jar -> ../../../../../java/checker-qual-android-3.0.1.jar
lrwxrwxrwx root/root         0 2020-07-06 00:48 ./usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.jar -> ../../../../../java/checker-qual-android-3.0.1.jar

Timestamp: 06.07.2020 / 22:01:16 (UTC)