{
  "id": "alloy-analyzer",
  "name": "Alloy Analyzer",
  "homepage": "https://alloytools.org",
  "description": "Open-source language and analyzer for software modeling.",
  "executables": [
    "alloy"
  ],
  "platforms": [
    "linux"
  ],
  "dotfiles": {
    "paths": [
      "~/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml"
    ],
    "secret": []
  }
}