3859f7bdabe ^
00137438459 ^
1 2 3 4
5
#! @shell@ COMMAND=$1 shift exec @hoogle@/bin/hoogle "$COMMAND" -d @out@/share/doc/hoogle "$@"