https://github.com/hoaproject/Praspel
Revision 59a146d02a71f024555a9535f6ade23eb6b9294f authored by Ivan Enderlin on 09 November 2014, 10:05:20 UTC, committed by Ivan Enderlin on 09 November 2014, 10:05:20 UTC
1 parent 94c305d
Tip revision: 59a146d02a71f024555a9535f6ade23eb6b9294f authored by Ivan Enderlin on 09 November 2014, 10:05:20 UTC
Use hoa/iterator ~1.0.
Use hoa/iterator ~1.0.
Tip revision: 59a146d
composer.json
{
"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": "~1.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": "." } },
"extra" : {
"branch-alias": {
"dev-master": "0.x-dev"
}
}
}
Computing file changes ...