Package Details: ltsa 3.0-6

Git Clone URL: https://aur.archlinux.org/ltsa.git (read-only)
Package Base: ltsa
Description: Labelled Transition System Analyser, a verification tool for concurrent systems
Upstream URL: http://www.doc.ic.ac.uk/ltsa/
Licenses: unknown
Submitter: catwell
Maintainer: None
Last Packager: xyproto
Votes: 5
Popularity: 0.172572
First Submitted: 2008-02-09 01:31
Last Updated: 2015-06-10 12:27

Latest Comments

xyproto commented on 2012-02-01 15:17

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

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

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

Updated the pkgbuild, thx Woof.

xyproto commented on 2012-02-01 00:47

Woof, nice, I'll look at it.

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

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.