//

// Definitions

#url: =~"^https://.+$"

#tool: {
	name:          string
	downloads_url: #url
	project_url:   #url
	repo_url:      #url
}

// File Structure

tools: [...#tool]