repository database

A database used as persistent storage for tool information. The type information model is also stored in the repository database.