https://github.com/hoaproject/Praspel
Tip revision: b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace authored by Ivan Enderlin on 10 January 2017, 13:08:06 UTC
Prepare 1.17.01.10.
Prepare 1.17.01.10.
Tip revision: b4e3e89
composer.json
{
"name" : "hoa/praspel",
"description": "The Hoa\\Praspel library.",
"type" : "library",
"keywords" : ["library", "praspel", "specification", "contract", "test",
"generation", "validation", "precondition", "postcondition",
"invariant"],
"homepage" : "https://hoa-project.net/",
"license" : "BSD-3-Clause",
"authors" : [
{
"name" : "Ivan Enderlin",
"email": "ivan.enderlin@hoa-project.net"
},
{
"name" : "Hoa community",
"homepage": "https://hoa-project.net/"
}
],
"support": {
"email" : "support@hoa-project.net",
"irc" : "irc://chat.freenode.net/hoaproject",
"forum" : "https://users.hoa-project.net/",
"docs" : "https://central.hoa-project.net/Documentation/Library/Praspel",
"source": "https://central.hoa-project.net/Resource/Library/Praspel"
},
"require": {
"hoa/compiler" : "~3.0",
"hoa/consistency": "~1.0",
"hoa/exception" : "~1.0",
"hoa/file" : "~1.0",
"hoa/iterator" : "~2.0",
"hoa/protocol" : "~1.0",
"hoa/realdom" : "~1.0",
"hoa/ustring" : "~4.0",
"hoa/visitor" : "~2.0"
},
"require-dev": {
"hoa/math": "~1.0"
},
"autoload": {
"psr-4": {
"Hoa\\Praspel\\": "."
}
},
"extra": {
"branch-alias": {
"dev-master": "1.x-dev"
}
}
}