../ checker-framework-java_3.2.0+ds-3.debian.tar.xz 09-Nov-2023 11:11 14648 checker-framework-java_3.2.0+ds-3.dsc 09-Nov-2023 11:11 2312 checker-framework-java_3.2.0+ds.orig.tar.xz 03-Jan-2023 23:29 3528160 libchecker-framework-java_3.2.0+ds-3_all.deb 09-Nov-2023 12:39 3421102