Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - ltsa

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: ltsa 3.0-6

Git Clone URL: https://aur-dev.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.012255
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.


the required ltsa.sh and ltsa.desktop files are embedded into the script to make it easier to paste.