3859f7bdabe ^
f16f2017ac2 ^
1 2 3 4
5
#! @shell@ COMMAND=$1 shift exec @hoogle@/bin/hoogle "$COMMAND" --database @out@/share/doc/hoogle/default.hoo "$@"