../ drat-trim-examples_0.0~git20240428.effa1dc-2bui..> 17-Jan-2026 02:15 7239108 drat-trim_0.0~git20240428.effa1dc-2build1_amd64..> 17-Jan-2026 02:15 29762 drat-trim_0.0~git20240428.effa1dc-2build1_arm64..> 17-Jan-2026 02:18 28428