index/triq.mk


1
2
3
4
5
6
7

PACKAGES += triq
pkg_triq_name = triq
pkg_triq_description = Trifork QuickCheck
pkg_triq_homepage = https://github.com/triqng/triq
pkg_triq_fetch = git
pkg_triq_repo = https://github.com/triqng/triq.git
pkg_triq_commit = master