../ drat-trim-examples_0.0~git20240428.effa1dc-2_al..> 01-Nov-2024 13:35 7M drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz 01-Nov-2024 00:21 3488 drat-trim_0.0~git20240428.effa1dc-2.dsc 01-Nov-2024 00:21 1876 drat-trim_0.0~git20240428.effa1dc-2_amd64.deb 01-Nov-2024 13:35 29K drat-trim_0.0~git20240428.effa1dc.orig.tar.gz 01-Nov-2024 00:21 7M