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