Package: TLA+Toolbox
Version: 1.8.0~20260731-1847
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: 237829338
MD5sum: 75c48bf027fee6e836e6217d555f61d1
SHA1: 954370b34135beba85541d2c0d9926b7f78ef848
SHA256: 6a34b7175876ff35df8545d290c19ab9521323a8b37d66ddc7758994f11d3e2e
Section: misc
Priority: optional
Description: The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.