summaryrefslogtreecommitdiff
path: root/devel/ltsa/PLIST
AgeCommit message (Expand)AuthorFilesLines
2009-09-09Really unbreak after unzip changes. Bump PKGREVISION.hasso1-160/+160
2009-06-14Remove @dirrm entries from PLISTsjoerg1-20/+1
2004-02-29Initial import of ltsa (Labelled Transition System Analyser), version 2.2:jmmv1-0/+189