Package Details: ltsa 3.0-8

Git Clone URL: (read-only, click to copy)
Package Base: ltsa
Description: Labelled Transition System Analyser, a verification tool for concurrent systems
Upstream URL:
Keywords: analysis concurrency
Licenses: unknown
Submitter: catwell
Maintainer: gamezelda
Last Packager: gamezelda
Votes: 5
Popularity: 0.000000
First Submitted: 2008-02-09 01:31 (UTC)
Last Updated: 2023-11-22 23:19 (UTC)

Dependencies (5)

Required by (0)

Sources (2)

Latest Comments

gamezelda commented on 2018-10-05 10:24 (UTC)

Adopting this, it hasn't seen a release in 12 years, and it still builds without changes, so I don't think it should be a great effort to maintain this... if any at all.

Suggestions for improvements welcome! :)

xyproto commented on 2012-02-01 15:17 (UTC)

Ah, typo, had "ltsa.install" instead of "" in the source array. Thx. Fixed.

d.woffinden commented on 2012-02-01 11:19 (UTC)

no problem. Your latest doesn't build for me, "cannot stat", doesn't look like it's included.

xyproto commented on 2012-02-01 11:11 (UTC)

Updated the pkgbuild, thx Woof.

xyproto commented on 2012-02-01 00:47 (UTC)

Woof, nice, I'll look at it.

d.woffinden commented on 2012-01-31 22:51 (UTC)

Hi, if you're interested, I wrote a modified PKGBUILD with menu integration (it converts the provided .ico for an icon) and fixed permissions. the required and ltsa.desktop files are embedded into the script to make it easier to paste.