Project

General

Profile

Revision f30a2012 _tags

View differences:

_tags
1 1
# OASIS_START
2
# DO NOT EDIT (digest: 54aa7498411485980381101fb69226dd)
2
# DO NOT EDIT (digest: e6ba8fd5bf2047819b329a6e17ea3b1f)
3 3
# Executable lustrec
4 4
"src/main_lustre_compiler.native": pkg_unix
5 5
"src/main_lustre_compiler.native": pkg_str
6 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
7 11
<src/*.ml{,i}>: pkg_unix
8 12
<src/*.ml{,i}>: pkg_str
9 13
<src/*.ml{,i}>: pkg_ocamlgraph

Also available in: Unified diff