../ hoogle-core 22-May-2026 13:30 6216 hoogle-syntax 22-May-2026 13:30 1985 hoogle-tui 22-May-2026 13:30 8319