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