Package - libchecker-framework-java

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/checker-framework-java/libchecker-framework-java_3.2.0+ds-3_all.deb (Size: 3.3MiB)

Property	Value
Package	libchecker-framework-java
Source	checker-framework-java
Version	3.2.0+ds-3
Installed-Size	4205
Maintainer	Debian Java Maintainers
Architecture	all
Description	Framework that makes Java’s type system more powerful and useful
Description-md5	22e29c3901d8007ba362747f54494cc0
Multi-Arch	foreign
Homepage	https://github.com/typetools/checker-framework
Section	java
Priority	optional
Filename	pool/main/c/checker-framework-java/libchecker-framework-java_3.2.0+ds-3_all.deb
Size	3492720
MD5sum	67afb4c51138a68608880d8c58814ac3
SHA256	e603c3b848f9a76c9b082ac73950f811326f9c645947486e13f40b7b6433c73e

Files in package

• /usr/share/doc-base/libchecker-framework-java.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/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/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/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/main/java/org/checkerframework/example/MavenExample.java
• /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/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/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/MyFenum.java
• /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/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/User.java
• /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/Encrypted.java
• /usr/share/doc/libchecker-framework-java/examples/subtyping-extension/qual/PossiblyUnencrypted.java
• /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/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/CFLogo.ai.gz
• /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/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/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/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/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/java/checker-qual-3.2.0.jar
• /usr/share/java/checker-qual-android-3.2.0.jar
• /usr/share/java/checker-qual-android.jar
• /usr/share/java/checker-qual.jar
• /usr/share/java/dataflow-3.2.0.jar
• /usr/share/java/dataflow.jar
• /usr/share/java/javacutil-3.2.0.jar
• /usr/share/java/javacutil.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/3.2.0/checker-qual-android-3.2.0.pom
• /usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.jar
• /usr/share/maven-repo/org/checkerframework/checker-qual-android/debian/checker-qual-android-debian.pom
• /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/3.2.0/checker-qual-3.2.0.pom
• /usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.jar
• /usr/share/maven-repo/org/checkerframework/checker-qual/debian/checker-qual-debian.pom
• /usr/share/maven-repo/org/checkerframework/dataflow/3.2.0/dataflow-3.2.0.jar
• /usr/share/maven-repo/org/checkerframework/dataflow/3.2.0/dataflow-3.2.0.pom
• /usr/share/maven-repo/org/checkerframework/dataflow/debian/dataflow-debian.jar
• /usr/share/maven-repo/org/checkerframework/dataflow/debian/dataflow-debian.pom
• /usr/share/maven-repo/org/checkerframework/javacutil/3.2.0/javacutil-3.2.0.jar
• /usr/share/maven-repo/org/checkerframework/javacutil/3.2.0/javacutil-3.2.0.pom
• /usr/share/maven-repo/org/checkerframework/javacutil/debian/javacutil-debian.jar
• /usr/share/maven-repo/org/checkerframework/javacutil/debian/javacutil-debian.pom