../ BOOTSTRAP.md,v 30-Jun-2025 09:01 5001 UserSettings.hs,v 30-Jun-2025 09:01 3061 extract-vanilla-package-db,v 30-Jun-2025 09:01 1701 hadrian-clock.patch,v 30-Jun-2025 09:01 2217 hadrian-shake.patch,v 30-Jun-2025 09:01 1618 iconv-bridge.c,v 30-Jun-2025 09:01 4948 inject-iconv-bridge.awk,v 30-Jun-2025 09:01 1261