checker-framework-java_3.2.0+ds-3.debian.tar.xz
checker-framework-java_3.2.0+ds-3.dsc
checker-framework-java_3.2.0+ds.orig.tar.xz
libchecker-framework-java_3.2.0+ds-3_all.deb