../ checker-framework-java_3.2.0+ds-1.debian.tar.xz 03-Jan-2023 11:30 13240 checker-framework-java_3.2.0+ds-1.dsc 03-Jan-2023 11:30 2262 checker-framework-java_3.2.0+ds.orig.tar.xz 03-Jan-2023 11:30 3528160 libchecker-framework-java_3.2.0+ds-1_all.deb 03-Jan-2023 12:06 2974412