Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/tools/seal/dune
9 9
(plugin
10 10
 (name seal_verifier)
11 11
 (libraries lustrec.seal_verifier)
12
 (site (lustrec verifiers))
12
 (site
13
  (lustrec verifiers))
13 14
 (optional))

Also available in: Unified diff