../ resources/ 09-Feb-2025 19:35 - arara-7.1.5-docsrc.zip 09-Feb-2025 19:35 2740540 arara-manual.pdf 09-Feb-2025 19:35 953636 arara-quickstart.pdf 09-Feb-2025 19:35 174846 arara.1 09-Feb-2025 19:35 1816 htmlmanualtopdf.sh 09-Feb-2025 19:35 7603 htmlquickstarttopdf.sh 09-Feb-2025 19:35 2428