summaryrefslogtreecommitdiff
path: root/devel/ltsa
AgeCommit message (Expand)AuthorFilesLines
2006-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-1/+2
2006-01-20Drop maintainership. I can't seriously be the maintainer of so manyjmmv1-2/+2
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2005-02-23Add RMD160 digests.agc1-1/+2
2004-02-29Initial import of ltsa (Labelled Transition System Analyser), version 2.2:jmmv4-0/+242