../ resources/ 02-Jul-2024 19:34 - arara-7.1.5-docsrc.zip 02-Jul-2024 19:34 2740540 arara-manual.pdf 02-Jul-2024 19:34 953636 arara-quickstart.pdf 02-Jul-2024 19:34 174846 arara.1 02-Jul-2024 19:34 1816 htmlmanualtopdf.sh 02-Jul-2024 19:34 7603 htmlquickstarttopdf.sh 02-Jul-2024 19:34 2428