../ drat-trim-examples_0.0~git20240428.effa1dc-2_al..> 14-Oct-2024 13:50 7238504 drat-trim_0.0~git20240428.effa1dc-2_amd64.deb 14-Oct-2024 13:50 28940 drat-trim_0.0~git20240428.effa1dc-2_i386.deb 14-Oct-2024 13:50 31116 drat-trim_0.0~git20240428.effa1dc-2_riscv64.deb 14-Oct-2024 14:10 28192