libchecker-framework-java (3.2.0+ds-4)
2 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- checker-framework-java
- Architecture
- i386
- Section
- java
- Priority
- optional
- Maintainer
- Debian Java Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 4.2 kB
- Size expected
- 3.5 MB
- Size actual
- 3.5 MB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Framework that makes Java’s type system more powerful and useful
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | ddc86296…4922b835 | |
| SHA-1 | 87ea8c22…7cfce7dd | |
| SHA-256 | 769b40dd…188e56ca | |
| SHA-512 | cb4bef9a…236303d1 |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/libchecker-framework-java usr/share/doc/libchecker-framework-java/README.md usr/share/doc/libchecker-framework-java/changelog.Debian.gz usr/share/doc/libchecker-framework-java/changelog.gz usr/share/doc/libchecker-framework-java/checker-framework-quick-start.html usr/share/doc/libchecker-framework-java/checker-framework-webpage.html usr/share/doc/libchecker-framework-java/copyright usr/share/doc/libchecker-framework-java/developer usr/share/doc/libchecker-framework-java/developer/developer-manual.html usr/share/doc/libchecker-framework-java/developer/gsoc-ideas-old-html.gz usr/share/doc/libchecker-framework-java/developer/gsoc-ideas.html usr/share/doc/libchecker-framework-java/examples usr/share/doc/libchecker-framework-java/examples/InterningExample.java usr/share/doc/libchecker-framework-java/examples/InterningExampleWithWarnings.java usr/share/doc/libchecker-framework-java/examples/LockExample.java usr/share/doc/libchecker-framework-java/examples/Makefile usr/share/doc/libchecker-framework-java/examples/MavenExample usr/share/doc/libchecker-framework-java/examples/MavenExample/Makefile usr/share/doc/libchecker-framework-java/examples/MavenExample/README usr/share/doc/libchecker-framework-java/examples/MavenExample/pom.xml usr/share/doc/libchecker-framework-java/examples/MavenExample/src usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework/example usr/share/doc/libchecker-framework-java/examples/MavenExample/src/main/java/org/checkerframework/example/MavenExample.java usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11 usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/Makefile usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/README usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/pom.xml usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework/example usr/share/doc/libchecker-framework-java/examples/MavenExampleJDK11/src/main/java/org/checkerframework/example/MavenExample.java usr/share/doc/libchecker-framework-java/examples/NullnessExample.java usr/share/doc/libchecker-framework-java/examples/NullnessExampleWithWarnings.java usr/share/doc/libchecker-framework-java/examples/NullnessReleaseTests.java usr/share/doc/libchecker-framework-java/examples/fenum-extension usr/share/doc/libchecker-framework-java/examples/fenum-extension/Demo.java usr/share/doc/libchecker-framework-java/examples/fenum-extension/Expected.txt usr/share/doc/libchecker-framework-java/examples/fenum-extension/Makefile usr/share/doc/libchecker-framework-java/examples/fenum-extension/README usr/share/doc/libchecker-framework-java/examples/fenum-extension/qual usr/share/doc/libchecker-framework-java/examples/fenum-extension/qual/MyFenum.java usr/share/doc/libchecker-framework-java/examples/lombok usr/share/doc/libchecker-framework-java/examples/lombok/Makefile usr/share/doc/libchecker-framework-java/examples/lombok/build.gradle usr/share/doc/libchecker-framework-java/examples/lombok/src usr/share/doc/libchecker-framework-java/examples/lombok/src/main usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lib usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lib/Foo.java usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/lombok.config usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/use usr/share/doc/libchecker-framework-java/examples/lombok/src/main/java/use/User.java usr/share/doc/libchecker-framework-java/examples/subtyping-extension usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Demo.java usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Expected.txt usr/share/doc/libchecker-framework-java/examples/subtyping-extension/Makefile usr/share/doc/libchecker-framework-java/examples/subtyping-extension/README usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/Encrypted.java usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/PossiblyUnencrypted.java usr/share/doc/libchecker-framework-java/examples/units-extension usr/share/doc/libchecker-framework-java/examples/units-extension/Demo.java usr/share/doc/libchecker-framework-java/examples/units-extension/Expected.txt usr/share/doc/libchecker-framework-java/examples/units-extension/Makefile usr/share/doc/libchecker-framework-java/examples/units-extension/README usr/share/doc/libchecker-framework-java/examples/units-extension/qual usr/share/doc/libchecker-framework-java/examples/units-extension/qual/Frequency.java usr/share/doc/libchecker-framework-java/examples/units-extension/qual/FrequencyRelations.java usr/share/doc/libchecker-framework-java/examples/units-extension/qual/Hz.java usr/share/doc/libchecker-framework-java/examples/units-extension/qual/kHz.java usr/share/doc/libchecker-framework-java/logo usr/share/doc/libchecker-framework-java/logo/CFLogo.ai.gz usr/share/doc/libchecker-framework-java/logo/Checkmark usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark.pdf.gz usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark.png usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmarkGrayscale.pdf.gz usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmarkHighRes.png usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark_favicon.png usr/share/doc/libchecker-framework-java/logo/Checkmark/CFCheckmark_small.png usr/share/doc/libchecker-framework-java/logo/Logo usr/share/doc/libchecker-framework-java/logo/Logo/CFLogo.pdf.gz usr/share/doc/libchecker-framework-java/logo/Logo/CFLogo.png usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoGrayscale.pdf.gz usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoHighRes.png usr/share/doc/libchecker-framework-java/logo/Logo/CFLogoSmall.png usr/share/doc/libchecker-framework-java/logo/Logo_on_dark usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoGrayscale_on_dark.pdf.gz usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoHighRes_on_dark.png usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogoSmall_on_dark.png usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogo_on_dark.pdf.gz usr/share/doc/libchecker-framework-java/logo/Logo_on_dark/CFLogo_on_dark.png usr/share/doc/libchecker-framework-java/logo/README usr/share/doc/libchecker-framework-java/logo/atT80-transparent.png usr/share/doc/libchecker-framework-java/logo/github-typetools-logo.png usr/share/doc/libchecker-framework-java/logo/github-typetools-logo.xcf.gz usr/share/doc/libchecker-framework-java/logo/html-add-favicon usr/share/doc/libchecker-framework-java/manual usr/share/doc/libchecker-framework-java/manual/Makefile usr/share/doc/libchecker-framework-java/manual/README usr/share/doc/libchecker-framework-java/manual/add-favicon-to-manual usr/share/doc/libchecker-framework-java/manual/advanced-features.tex.gz usr/share/doc/libchecker-framework-java/manual/aliasing-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/annotating-libraries.tex.gz usr/share/doc/libchecker-framework-java/manual/constant-value-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/contributors.tex usr/share/doc/libchecker-framework-java/manual/creating-a-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/external-checkers.tex.gz usr/share/doc/libchecker-framework-java/manual/external-tools.tex.gz usr/share/doc/libchecker-framework-java/manual/faq.tex.gz usr/share/doc/libchecker-framework-java/manual/fenum-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/figures usr/share/doc/libchecker-framework-java/manual/figures/Makefile usr/share/doc/libchecker-framework-java/manual/figures/README usr/share/doc/libchecker-framework-java/manual/figures/aliasing.svg usr/share/doc/libchecker-framework-java/manual/figures/chainlink.svg usr/share/doc/libchecker-framework-java/manual/figures/classval.svg usr/share/doc/libchecker-framework-java/manual/figures/fenum.svg usr/share/doc/libchecker-framework-java/manual/figures/formatter-categories.svg usr/share/doc/libchecker-framework-java/manual/figures/formatter-hierarchy.svg usr/share/doc/libchecker-framework-java/manual/figures/i18n-format-category.svg usr/share/doc/libchecker-framework-java/manual/figures/i18n-format-type-hierarchy.svg usr/share/doc/libchecker-framework-java/manual/figures/initialization.svg usr/share/doc/libchecker-framework-java/manual/figures/interning.svg usr/share/doc/libchecker-framework-java/manual/figures/lock-guardedby.svg usr/share/doc/libchecker-framework-java/manual/figures/lowerbound.svg usr/share/doc/libchecker-framework-java/manual/figures/map-key-keyfor.svg usr/share/doc/libchecker-framework-java/manual/figures/methodval.svg usr/share/doc/libchecker-framework-java/manual/figures/nullness.svg usr/share/doc/libchecker-framework-java/manual/figures/optional-subtyping.svg usr/share/doc/libchecker-framework-java/manual/figures/regex.svg usr/share/doc/libchecker-framework-java/manual/figures/samelen.svg usr/share/doc/libchecker-framework-java/manual/figures/searchindex.svg usr/share/doc/libchecker-framework-java/manual/figures/signature-types.svg usr/share/doc/libchecker-framework-java/manual/figures/signedness.svg usr/share/doc/libchecker-framework-java/manual/figures/substringindex.svg usr/share/doc/libchecker-framework-java/manual/figures/typedef.svg usr/share/doc/libchecker-framework-java/manual/figures/upperbound.svg usr/share/doc/libchecker-framework-java/manual/figures/value-subtyping.svg usr/share/doc/libchecker-framework-java/manual/formatter-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/generics.tex.gz usr/share/doc/libchecker-framework-java/manual/guieffect-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/hevea-retarget-crossrefs usr/share/doc/libchecker-framework-java/manual/i18n-format-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/index-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/inference.tex.gz usr/share/doc/libchecker-framework-java/manual/interning-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/introduction.tex.gz usr/share/doc/libchecker-framework-java/manual/lock-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/manual-style.tex.gz usr/share/doc/libchecker-framework-java/manual/manual.bbl.gz usr/share/doc/libchecker-framework-java/manual/manual.tex usr/share/doc/libchecker-framework-java/manual/map-key-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/nullness-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/optional-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/propkey-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/purity-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/reflection-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/reflection-inference-rules.tex usr/share/doc/libchecker-framework-java/manual/regex-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/signature-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/signedness-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/subtyping-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/tainting-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/to-do-refactoring.txt.gz usr/share/doc/libchecker-framework-java/manual/todo.txt usr/share/doc/libchecker-framework-java/manual/troubleshooting.tex.gz usr/share/doc/libchecker-framework-java/manual/typestate-checker.tex usr/share/doc/libchecker-framework-java/manual/units-checker.tex.gz usr/share/doc/libchecker-framework-java/manual/warnings.tex.gz usr/share/doc-base usr/share/doc-base/libchecker-framework-java.libchecker-framework-java usr/share/java usr/share/java/checker-qual-3.2.0.jar usr/share/java/checker-qual-android-3.2.0.jar usr/share/java/dataflow-3.2.0.jar usr/share/java/javacutil-3.2.0.jar usr/share/maven-repo usr/share/maven-repo/org usr/share/maven-repo/org/checkerframework usr/share/maven-repo/org/checkerframework/checker-qual usr/share/maven-repo/org/checkerframework/checker-qual/3.2.0 usr/share/maven-repo/org/checkerframework/checker-qual/3.2.0/checker-qual-3.2.0.pom usr/share/maven-repo/org/checkerframework/checker-qual/debian usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.pom usr/share/maven-repo/org/checkerframework/checker-qual-android usr/share/maven-repo/org/checkerframework/checker-qual-android/3.2.0 usr/share/maven-repo/org/checkerframework/checker-qual-android/3.2.0/checker-qual-android-3.2.0.pom usr/share/maven-repo/org/checkerframework/checker-qual-android/debian usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.pom usr/share/maven-repo/org/checkerframework/dataflow usr/share/maven-repo/org/checkerframework/dataflow/3.2.0 usr/share/maven-repo/org/checkerframework/dataflow/3.2.0/dataflow-3.2.0.pom usr/share/maven-repo/org/checkerframework/dataflow/debian usr/share/maven-repo/org/checkerframework/dataflow/debian/dataflow-debian.pom usr/share/maven-repo/org/checkerframework/javacutil usr/share/maven-repo/org/checkerframework/javacutil/3.2.0 usr/share/maven-repo/org/checkerframework/javacutil/3.2.0/javacutil-3.2.0.pom usr/share/maven-repo/org/checkerframework/javacutil/debian usr/share/maven-repo/org/checkerframework/javacutil/debian/javacutil-debian.pom usr/share/java/checker-qual-android.jar usr/share/java/checker-qual.jar usr/share/java/dataflow.jar usr/share/java/javacutil.jar usr/share/maven-repo/org/checkerframework/checker-qual/3.2.0/checker-qual-3.2.0.jar usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.jar usr/share/maven-repo/org/checkerframework/checker-qual-android/3.2.0/checker-qual-android-3.2.0.jar usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.jar usr/share/maven-repo/org/checkerframework/dataflow/3.2.0/dataflow-3.2.0.jar usr/share/maven-repo/org/checkerframework/dataflow/debian/dataflow-debian.jar usr/share/maven-repo/org/checkerframework/javacutil/3.2.0/javacutil-3.2.0.jar usr/share/maven-repo/org/checkerframework/javacutil/debian/javacutil-debian.jar