Package Details: gltl2ba-git 1-1

Git Clone URL: https://aur.archlinux.org/gltl2ba-git.git (read-only, click to copy)
Package Base: gltl2ba-git
Description: Enriches ltl2ba with graph generation capabilities
Upstream URL: https://github.com/PatrickTrentin88/gltl2ba
Licenses: GPLv3
Submitter: jachymb
Maintainer: jachymb
Last Packager: jachymb
Votes: 0
Popularity: 0.000000
First Submitted: 2017-08-25 14:20
Last Updated: 2017-08-25 14:20

Dependencies (4)

Required by (0)

Sources (0)