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