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