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