gpo.zugaina.org

Search Portage & Overlays:

dev-util/tla-toolbox-bin

IDE for TLA+

Screenshots

ChangeLog

commit 27fdb1d7f10419a16d4bd21d6e33edc97bcfab4e
Author: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
Date: Sun Mar 24 01:21:57 2024 +0100

dev-util/tla-toolbox-bin-1.8.0-r1

upstream changed the source archive's content, but not its name

commit 7188d545e92a089ca9045a8bf3dccbac7ea04da3
Author: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
Date: Mon Mar 20 20:06:09 2023 +0100

regenerate manifests w/ "pkgdev manifest -f"

https://bugs.gentoo.org/902393

commit abe3e33e669121331c002184fb47d70bc99b7074
Author: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
Date: Tue Aug 2 20:22:27 2022 +0200

dev-util/tla-toolbox-bin-1.8.0