Search Criteria
Package Details: gltl2ba-git 1-1
Package Actions
| 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 (UTC) |
| Last Updated: | 2017-08-25 14:20 (UTC) |
Dependencies (4)
- graphviz
- ltl2baAUR
- python-graphviz
- git (git-gitAUR) (make)