aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-09-04 22:37:05 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-09-04 22:37:05 +0300
commit775d89ebb025a2aa061c43936342723cd257ab19 (patch)
treea84adf638171e1ad3ec0b2da20311d84861ccdc8
parent09702fc27c673066c87193879d2fdbc19ab9b33f (diff)
CIci
-rw-r--r--repositories.manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/repositories.manifest b/repositories.manifest
index b407f30..6ae02a8 100644
--- a/repositories.manifest
+++ b/repositories.manifest
@@ -3,4 +3,4 @@ summary: build2 package dependency manager library repository
:
role: prerequisite
-location: ../libbutl.git##HEAD
+location: ../libbutl.git#verify-ipv6