diff options
Diffstat (limited to 'index/triq.mk')
| -rw-r--r-- | index/triq.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/index/triq.mk b/index/triq.mk new file mode 100644 index 0000000..a988e28 --- /dev/null +++ b/index/triq.mk @@ -0,0 +1,7 @@ +PACKAGES += triq +pkg_triq_name = triq +pkg_triq_description = Trifork QuickCheck +pkg_triq_homepage = https://github.com/krestenkrab/triq +pkg_triq_fetch = git +pkg_triq_repo = https://github.com/krestenkrab/triq +pkg_triq_commit = master |