{ "name" : "hoa/praspel", "description": "The Hoa\\Praspel library.", "type" : "library", "keywords" : ["library", "praspel", "specification", "contract", "test", "generation", "validation", "precondition", "postcondition", "invariant"], "homepage" : "http://hoa-project.net/", "license" : "BSD-3-Clause", "authors" : [ { "name" : "Ivan Enderlin", "email": "ivan.enderlin@hoa-project.net" }, { "name" : "Hoa community", "homepage": "http://hoa-project.net/" } ], "support": { "email" : "support@lists.hoa-project.net", "irc" : "irc://irc.freenode.org/hoaproject", "source": "http://git.hoa-project.net/" }, "require": { "hoa/core" : "~2.0", "hoa/compiler": "~2.0", "hoa/file" : "~0.0", "hoa/iterator": "~0.0", "hoa/realdom" : "~0.0", "hoa/string" : "~2.0", "hoa/visitor" : "~0.0" }, "require-dev": { "hoa/math": "~0.0" }, "target-dir": "Hoa/Praspel", "autoload" : { "psr-0": { "Hoa\\Praspel": "." } } }