Pack.Core.Git.Consts

Definitions

dbRepo : URL

  URL of package collections repository
  
  TODO: This should become a command line argument

Totality: total
Visibility: export

defaultPackRepo : URL

  Default URL of pack repository

Totality: total
Visibility: export

defaultPackBranch : Branch

  Default branch of the pack repository

Totality: total
Visibility: export

compiler : PkgName

  Package name we use for temp dirs involving the idris compiler
  and its core libraries.

Totality: total
Visibility: export

packDB : PkgName

  Package name we use for temp dirs involving pack-db project.

Totality: total
Visibility: export