Project

General

Profile

Download (136 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2

    
3
(env
4
 (dev
5
  (flags
6
   (:standard -warn-error -A))))
7

    
8

    
9

    
10
(library 
11
(name seal_for_lustrec)
12
(libraries lustrec zustre seal)
13
(optional)
14
)
(1-1/6)