From 61993bc1fa4d0f1739fce22cd7efefbbeaf97f11 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Thu, 2 Oct 2025 23:40:38 +0200
Subject: [PATCH] Update ci_test_dependants syntax

---
 meta.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/meta.yml b/meta.yml
index 634f4ed0..9958f0f7 100644
--- a/meta.yml
+++ b/meta.yml
@@ -6,7 +6,9 @@ organization: coq-community
 community: true
 action: true
 ci_extra_dev: true
-ci_test_dependants: ['coq-itree', 'coq-itree-extra', 'coq-json', 'coq-parsec', 'coq-quickchick', 'coq-wasm']
+ci_test_dependants:
+  enabled: true
+  packages: ['coq-itree', 'coq-itree-extra', 'coq-json', 'coq-parsec', 'coq-quickchick', 'coq-wasm']
 submodule: true
 
 synopsis: A library of Coq definitions, theorems, and tactics