../ Makefile 31-Jul-2025 19:34 1141 soul.dtx 31-Jul-2025 19:34 135135 soul.ins 31-Jul-2025 19:34 301 soul.pdf 31-Jul-2025 19:34 388702 soul.txt 31-Jul-2025 19:34 1843