Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / _tags @ f30a2012

History | View | Annotate | Download (477 Bytes)

1
# OASIS_START
2
# DO NOT EDIT (digest: e6ba8fd5bf2047819b329a6e17ea3b1f)
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
# Executable lustrem
8
"src/main_lustre_mutator.native": pkg_unix
9
"src/main_lustre_mutator.native": pkg_str
10
"src/main_lustre_mutator.native": pkg_ocamlgraph
11
<src/*.ml{,i}>: pkg_unix
12
<src/*.ml{,i}>: pkg_str
13
<src/*.ml{,i}>: pkg_ocamlgraph
14
# OASIS_STOP