(BIN) checker-framework-java_3.0.1+ds2-3.debian.tar.xz
 (TXT) checker-framework-java_3.0.1+ds2-3.dsc
 (BIN) checker-framework-java_3.0.1+ds2.orig.tar.xz
 (BIN) checker-framework-java_3.2.0+ds-1.debian.tar.xz
 (TXT) checker-framework-java_3.2.0+ds-1.dsc
 (BIN) checker-framework-java_3.2.0+ds-3.debian.tar.xz
 (TXT) checker-framework-java_3.2.0+ds-3.dsc
 (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.0.1+ds2-3_all.deb
 (BIN) libchecker-framework-java_3.2.0+ds-1_all.deb
 (BIN) libchecker-framework-java_3.2.0+ds-3_all.deb
 (BIN) libchecker-framework-java_3.2.0+ds-4_all.deb