{
 "app_id": "org.lamport.tla.toolbox",
 "source_url": "https://raw.githubusercontent.com/flathub/org.lamport.tla.toolbox/master/org.lamport.tla.toolbox.yml",
 "runtime": "org.freedesktop.Platform",
 "runtime_version": "25.08",
 "sdk": "org.freedesktop.Sdk",
 "finish_args": [
  "--share=network",
  "--share=ipc",
  "--socket=x11",
  "--socket=wayland",
  "--socket=pulseaudio",
  "--socket=fallback-x11",
  "--device=dri",
  "--filesystem=home"
 ],
 "module_count": 1,
 "fetched_at": "2026-09-17T16:15:59.436490+00:00",
 "manifest": {
  "app-id": "org.lamport.tla.toolbox",
  "runtime": "org.freedesktop.Platform",
  "runtime-version": "25.08",
  "sdk": "org.freedesktop.Sdk",
  "command": "tlatoolbox",
  "add-extensions": {
   "org.freedesktop.Sdk.Extension.texlive": {
    "directory": "texlive",
    "subdirectories": true,
    "no-autodownload": true,
    "autodelete": true,
    "version": "25.08"
   }
  },
  "finish-args": [
   "--share=ipc",
   "--socket=wayland",
   "--socket=fallback-x11",
   "--socket=pulseaudio",
   "--share=network",
   "--device=dri",
   "--filesystem=home",
   "--env=PATH=/app/bin:/app/texlive/bin:/app/texlive/bin/x86_64-linux:/usr/bin/"
  ],
  "modules": [
   {
    "name": "tlatoolbox",
    "no-autogen": true,
    "build-options": {
     "no-debuginfo": true
    },
    "sources": [
     {
      "type": "archive",
      "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-linux.gtk.x86_64.zip",
      "sha256": "011c830251e8bd9bb755ed604aa8a880b97272a8ab2fea2fbc61b5ff018c90d5"
     },
     {
      "type": "file",
      "path": "org.lamport.tla.toolbox.desktop"
     },
     {
      "type": "file",
      "path": "splash-256x256.png"
     },
     {
      "type": "file",
      "path": "splash-480x480.png"
     },
     {
      "type": "file",
      "path": "org.lamport.tla.toolbox.metainfo.xml"
     }
    ],
    "buildsystem": "simple",
    "build-commands": [
     "mkdir -p /app/TLA/ /app/bin/ /app/texlive",
     "cp -a * /app/TLA/",
     "ln -s /app/TLA/toolbox /app/bin/tlatoolbox",
     "install -Dm644 org.lamport.tla.toolbox.desktop /app/share/applications/org.lamport.tla.toolbox.desktop",
     "install -Dm644 splash-256x256.png /app/share/icons/hicolor/256x256/apps/org.lamport.tla.toolbox.png",
     "install -Dm644 splash-480x480.png /app/share/icons/hicolor/480x480/apps/org.lamport.tla.toolbox.png",
     "install -Dm644 org.lamport.tla.toolbox.metainfo.xml /app/share/metainfo/org.lamport.tla.toolbox.metainfo.xml"
    ]
   }
  ]
 }
}