Package: TLA+Toolbox
Version: 1.8.0~20261103-1809
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288437
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237859062
MD5sum: 10c280527acb5b9c15c30392c0321f05
SHA1: c205fd1e9f41573685aaf81f5663a8edfddb9c93
SHA256: 0939e7964a9c4197919e9682717e5fd3fd7794bf3df18c960dfb2a64b5fddb79
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.