Package idris2-dep-graph - Namespaces

• DepGraph.Data
• DepGraph.Cli
• Idris.Driver.Extra

  Re-exports Idris.Driver with some private declarations.
• Idris.Package.Extra

  Re-exports Idris.Package with some private declarations.