Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / _tags @ 22fe1c93

History | View | Annotate | Download (322 Bytes)

1
# OASIS_START
2
# DO NOT EDIT (digest: 54aa7498411485980381101fb69226dd)
3
# Executable lustrec
4
"src/main_lustre_compiler.native": pkg_unix
5
"src/main_lustre_compiler.native": pkg_str
6
"src/main_lustre_compiler.native": pkg_ocamlgraph
7
<src/*.ml{,i}>: pkg_unix
8
<src/*.ml{,i}>: pkg_str
9
<src/*.ml{,i}>: pkg_ocamlgraph
10
# OASIS_STOP