Package Details: ltsa 3.0-8

Git Clone URL: https://aur.archlinux.org/ltsa.git (read-only, click to copy)
Package Base: ltsa
Description: Labelled Transition System Analyser, a verification tool for concurrent systems
Upstream URL: http://www.doc.ic.ac.uk/ltsa/
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 "ltsa.sh" 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 ltsa.sh", 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 freedesktop.org menu integration (it converts the provided .ico for an icon) and fixed permissions. http://tinypaste.com/bc9a6037 the required ltsa.sh and ltsa.desktop files are embedded into the script to make it easier to paste.