| {application, triq, | |
| [{description, "Triq (Term Reductive Invariant Questant) QuickCheck"}, | |
| {vsn, "1.2.0"}, | |
| {registered,[]}, | |
| {applications, [kernel,stdlib]}, | |
| {build_dependencies, []}, | |
| {env, []}, | |
| {licenses, ["Apache"]}, | |
| {links, [{"Homepage", "https://triq.gitlab.io"}, | |
| {"GitLab", "https://gitlab.com/triq/triq"}]} | |
| ]}. |