../ resources/ 04-Jul-2025 19:35 - arara-7.2.0-docsrc.zip 04-Jul-2025 19:35 2743655 arara-manual.pdf 04-Jul-2025 19:35 994412 arara-quickstart.pdf 04-Jul-2025 19:35 158385 arara.1 04-Jul-2025 19:35 1924 htmlmanualtopdf.sh 04-Jul-2025 19:35 7603 htmlquickstarttopdf.sh 04-Jul-2025 19:35 2428