Package: TLA+Toolbox
Version: 1.8.0~20260914-2000
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: 237815672
MD5sum: af63c5045698cc5c6e32ed54ab79fd7f
SHA1: c0af04c419961dc937789533c041ada24e361428
SHA256: ba3e7706c743bf5337c7897ebb2c4ec184ed51bfdf12b199d3c4845e24817d5e
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.