https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: a79f9aeb6de046ca12210d26317fab59c175d0dd authored by Pierre-Yves Strub on 08 July 2014, 09:43:21 UTC
Fix bug w.r.t. _tools presence detection.
Tip revision: a79f9ae
_oasis
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
back to top