../ checker-framework-java_3.2.0+ds-3.debian.tar.xz 09-Nov-2023 12:29 14648 checker-framework-java_3.2.0+ds-3.dsc 09-Nov-2023 12:29 2312 checker-framework-java_3.2.0+ds.orig.tar.xz 04-Jan-2023 00:30 3528160 libchecker-framework-java_3.2.0+ds-3_all.deb 09-Nov-2023 13:00 3492720