From d27c8c9f68c1e3ad0bed044aaa9b47ae11adc1f5 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sat, 2 Jun 2018 23:29:03 +0000 Subject: Update triq urls --- index/triq.mk | 4 ++-- 1 file 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 -- cgit v1.2.3