Notice: Undefined variable: name in /srv/http/vhosts/ on line 248

Package Details: ltsa 3.0-6

Git Clone URL: (read-only)
Package Base: ltsa
Description: Labelled Transition System Analyser, a verification tool for concurrent systems
Upstream URL:
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 "" 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", 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 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.