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