(executable
 (public_name advent_of_code_2025)
 (name main)
 (libraries advent_of_code_2025))