Package: TLA+Toolbox
Version: 1.8.0~20260821-1558
Architecture: amd64
Maintainer: tlaplus@googlegroups.com
Installed-Size: 288367
Recommends: texlive-latex-recommended, libwebkitgtk-1.0-0
Filename: ./TLAToolbox-1.8.0-linux.gtk.amd64.deb
Size: 237805202
MD5sum: de89222076df0bb290d7b6c9a24892af
SHA1: 786211848078c3ccfafc682e2fcae9c467772adc
SHA256: bbeb7236b216cf4063d6decf4f9ca8b9cfe7a4f160a3230513780875dc23fd91
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.