Project

General

Profile

Download (271 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(include_subdirs no)
2

    
3
(library
4
 (name seal_verifier)
5
 (public_name lustrec.seal_verifier)
6
 (libraries verifier_register lustrec_lib zustre_verifier)
7
 (optional))
8

    
9
(plugin
10
 (name seal_verifier)
11
 (libraries lustrec.seal_verifier)
12
 (site
13
  (lustrec verifiers))
14
 (optional))
(1-1/6)