dev-util/tla-toolbox-bin
IDE for TLA+
-
tla-toolbox-bin-1.8.0-r1~amd64
View Download Browse License: MITOverlay: stefantalpalaru
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
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