Search Criteria
Package Details: mata 1:0.51.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/mata.git (read-only, click to copy) |
|---|---|
| Package Base: | mata |
| Description: | Open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.) |
| Upstream URL: | https://github.com/VeriFIT/mata |
| Licenses: | GPL3 |
| Submitter: | Anty0 |
| Maintainer: | Anty0 |
| Last Packager: | Anty0 |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2022-10-19 21:22 (UTC) |
| Last Updated: | 2023-04-01 16:43 (UTC) |
Dependencies (4)
- gcovr
- lcov (lcov-gitAUR)
- xdg-utils (busking-gitAUR, xdg-utils-slockAUR, mimiAUR, mimi-gitAUR, xdg-utils-handlrAUR, openerAUR, xdg-utils-mimeoAUR, mimejs-gitAUR)
- cmake (cmake-gitAUR) (make)