../ drat-trim-examples_0.0~git20240428.effa1dc-2_al..> 14-Oct-2024 13:50 7M drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz 14-Oct-2024 13:30 3488 drat-trim_0.0~git20240428.effa1dc-2.dsc 14-Oct-2024 13:30 1876 drat-trim_0.0~git20240428.effa1dc-2_amd64.deb 14-Oct-2024 13:50 28K drat-trim_0.0~git20240428.effa1dc.orig.tar.gz 12-Oct-2024 15:34 7M