---
Name: sail
Bug-Database: https://github.com/rems-project/sail/issues
Bug-Submit: https://github.com/rems-project/sail/issues/new
Repository: https://github.com/rems-project/sail.git
Repository-Browse: https://github.com/rems-project/sail
