Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/tools/zustre/dune | ||
---|---|---|
11 | 11 |
(plugin |
12 | 12 |
(name zustre_verifier) |
13 | 13 |
(libraries lustrec.zustre_verifier) |
14 |
(site (lustrec verifiers)) |
|
14 |
(site |
|
15 |
(lustrec verifiers)) |
|
15 | 16 |
(optional)) |
Also available in: Unified diff
reformatting