lustrec/_tags @ f1da5111
| 1 | 0cbf0839 | ploc | # 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 |