/srcpkgs/hoogle/