Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: ltsa 3.0-8

Package Actions

Git Clone URL:	https://aur.archlinux.org/ltsa.git (read-only, click to copy)
Package Base:	ltsa
Description:	Labelled Transition System Analyser, a verification tool for concurrent systems
Upstream URL:	http://www.doc.ic.ac.uk/ltsa/
Keywords:	analysis concurrency
Licenses:	unknown
Submitter:	catwell
Maintainer:	gamezelda
Last Packager:	gamezelda
Votes:	5
Popularity:	0.000000
First Submitted:	2008-02-09 01:31 (UTC)
Last Updated:	2023-11-22 23:19 (UTC)

Dependencies (5)

bash (bash-devel-static-git^AUR, bash-devel-git^AUR, busybox-coreutils^AUR, bash-git^AUR)
java-runtime (jre10^AUR, jre12^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, jre7^AUR, amazon-corretto-16^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, jdk8-arm^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jre11-jbr-xdg^AUR, jre16-openjdk^AUR, jre14-openjdk^AUR, jre15^AUR, jre14^AUR, jre13^AUR, jre16^AUR, jre18-openjdk^AUR, amazon-corretto-19-bin^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, jdk13-openjdk-bin^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jre-openj9^AUR, jdk11-graalvm-ee-bin^AUR, jre12-openjdk^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk8-graalvm-ee-bin^AUR, zulu-15-bin^AUR, jdk20-openj9-bin^AUR, zulu-13-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jre11^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jdk8-dragonwell-extended^AUR, jre13-openjdk^AUR, jre15-openjdk^AUR, jdk21-graalvm-bin^AUR, jre17-jetbrains^AUR, jdk8-openj9-bin^AUR, jre-lts^AUR, microsoft-openjdk-11-bin^AUR, microsoft-openjdk-17-bin^AUR, microsoft-openjdk-21-bin^AUR, liberica-nik-24-full-bin^AUR, jre21-jetbrains-git^AUR, jdk21-jetbrains-git^AUR, zulu-17-bin^AUR, zulu-11-bin^AUR, zulu-8-bin^AUR, mandrel-bin^AUR, mandrel24-bin^AUR, liberica-jdk-17-full-bin^AUR, liberica-jdk-11-lite-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-11-bin^AUR, jdk17-graalvm-ee-bin^AUR, jdk21-graalvm-ee-bin^AUR, jdk22-graalvm-ee-bin^AUR, jdk20-graalvm-ee-bin^AUR, jdk22-graalvm-bin^AUR, jre19-openjdk^AUR, jdk17-jetbrains-bin^AUR, zulu-jdk-fx-bin^AUR, jre21-jetbrains^AUR, jdk17-zulu-prime-bin^AUR, zing-21-bin^AUR, zing-8-bin^AUR, jdk23-graalvm-ee-bin^AUR, jdk-android-studio^AUR, jre17^AUR, java-openjdk-bin^AUR, jre21-zulu-bin^AUR, amazon-corretto-17^AUR, amazon-corretto-21-bin^AUR, jre17-zulu-bin^AUR, jdk21-temurin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, jdk11-temurin^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, jdk17-temurin^AUR, jdk8-temurin^AUR, zulu-21-bin^AUR, jdk-temurin^AUR, jre8^AUR, jdk8^AUR, zulu-17-fx-bin^AUR, jdk8-perf^AUR, zulu-jre-fx-bin^AUR, zulu-fx-bin^AUR, zulu8-fx-bin^AUR, zulu11-fx-bin^AUR, zulu17-fx-bin^AUR, zulu21-fx-bin^AUR, jdk-openj9-bin^AUR, jdk11-openj9-bin^AUR, jdk17-openj9-bin^AUR, jre-jetbrains^AUR, jre-openjdk-wakefield^AUR, jdk-openjdk-wakefield^AUR, jdk21-openj9-bin^AUR, java-openjdk-ea-bin^AUR, zulu-23-bin^AUR, jre^AUR, jdk^AUR, jdk21-jetbrains-bin^AUR, jdk21-dragonwell-standard-bin^AUR, jdk21-dragonwell-extended-bin^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk)
libcups (libcups-git^AUR, cups-git^AUR, libcups-gssapi^AUR)
gendesk (make)
imagemagick (imagemagick-git^AUR, imagemagick-full-git^AUR, imagemagick-full^AUR) (make)

Required by (0)

Sources (2)

Latest Comments

gamezelda commented on 2018-10-05 10:24 (UTC)

Adopting this, it hasn't seen a release in 12 years, and it still builds without changes, so I don't think it should be a great effort to maintain this... if any at all.

Suggestions for improvements welcome! :)

xyproto commented on 2012-02-01 15:17 (UTC)

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

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

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 (UTC)

Updated the pkgbuild, thx Woof.

xyproto commented on 2012-02-01 00:47 (UTC)

Woof, nice, I'll look at it.

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

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.