Contents

Model version: {{META.model_version}}
Generator version: {{META.version}}
Generation timestemp: {{META.timestamp}}

------------------------------ MODULE setup ------------------------------

(* Module to check correctness  *)

EXTENDS config

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/setup/module_header.mustache
tla-sbuilder-0.3.8	mustache/setup/module_header.mustache
tla-sbuilder-0.3.7	mustache/setup/module_header.mustache