We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ca6887a commit bd356ecCopy full SHA for bd356ec
meta.yml
@@ -2,7 +2,9 @@ fullname: Interaction Trees
2
shortname: itree
3
organization: DeepSpec
4
action: true
5
-ci_test_dependants: ['coq-ctree', 'coq-itree-extra', 'coq-itree-io']
+ci_test_dependants:
6
+ enabled: true
7
+ packages: ['coq-ctree', 'coq-itree-extra', 'coq-itree-io']
8
dune: true
9
tested_coq_opam_versions:
10
- version: '8.14'
0 commit comments