diff --git a/meta.yml b/meta.yml
index 634f4ed..9958f0f 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