Package: TLA+Toolbox
Version: 1.8.0~20261020-1829
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288422
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237850320
MD5sum: 2400af420b0f239aa05088bfdcbdea4c
SHA1: 3db3626467b3af973cd78ae887d38621ad7b729f
SHA256: 107478e19da2a9c879e73be56c84bb0b6ad6f25f439465bdcab0472920f64038
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.