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