OASISFormat: 0.4
Name: ecsupport
Version: 1.0
Synopsis: Support Library for the EasyCrypt OCaml backend
Authors: EasyCrypt Team
License: CeCILL-B
BuildTools: ocamlbuild
Plugins: DevFiles(0.4), META(0.4)

Library ecsupport
  Path: mllib
  FindLibName: ecsupport
  Modules: EcBool, EcFArray, EcIArray, EcInt, EcPair, EcPervasive
  CompiledObject: best