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