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