toplevel: deps.in