diff options
Diffstat (limited to 'index')
-rw-r--r-- | index/triq.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/index/triq.mk b/index/triq.mk index 8588fa3..3e60127 100644 --- a/index/triq.mk +++ b/index/triq.mk @@ -1,7 +1,7 @@ PACKAGES += triq pkg_triq_name = triq pkg_triq_description = Trifork QuickCheck -pkg_triq_homepage = https://github.com/triqng/triq +pkg_triq_homepage = https://triq.gitlab.io pkg_triq_fetch = git -pkg_triq_repo = https://github.com/triqng/triq.git +pkg_triq_repo = https://gitlab.com/triq/triq.git pkg_triq_commit = master |