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