Package: TLA+Toolbox
Version: 1.8.0~20260930-2338
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288403
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237830618
MD5sum: f23661d80863a7db812a7e21f68464b7
SHA1: 66457cc74ddc5d82351c5a13d863c1a2b0803b14
SHA256: 9e860e01646e0148284b15639f266ac56282803c50d7cd09ed45b5286560b6f1
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.