(BIN) checker-framework-java_3.2.0+ds-4.debian.tar.xz (TXT) checker-framework-java_3.2.0+ds-4.dsc (BIN) checker-framework-java_3.2.0+ds.orig.tar.xz (BIN) libchecker-framework-java_3.2.0+ds-4_all.deb