SafeAPI.REPOSITORYRepository API
val add :
OpamTypes.repository_name ->
OpamTypes.repository_kind ->
OpamTypes.address ->
priority:int option ->
unitAdd a new repository.
val remove : OpamTypes.repository_name -> unitRemove a repository.
val priority : OpamTypes.repository_name -> priority:int -> unitSet-up repository priority.
val set_url : OpamTypes.repository_name -> OpamTypes.address -> unitSet-up repository url.