module "revdb-repository-manager" {