Package: TLA+Toolbox
Version: 1.8.0~20260915-1645
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288383
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237815414
MD5sum: d280ed8ae48f64934cc4072165f421be
SHA1: c5f9d57b4e4b09f5dbd46f614b010ab72035c6ea
SHA256: 81edef3f2fcbea7ca30cf85e9117b1de88848cd5502578ffa9dc78ed76659fdf
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.