Package: TLA+Toolbox
Version: 1.8.0~20261102-1646
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288448
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237865616
MD5sum: 9f66b659351f3ea356c8ebb93c0b8db1
SHA1: abbff9285ab1c52e91a78e79f7bd7b76b8a06a43
SHA256: be3bb99d5af9925764bbf064a00b72413894bb66e2565b35031d5336a764c2cd
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.