https://github.com/hoaproject/Praspel
Revision 114345a68d6bb8c10ed3858aaa6395cf37b79c1d authored by Ivan Enderlin on 14 January 2016, 20:00:12 UTC, committed by Ivan Enderlin on 14 January 2016, 20:00:12 UTC
1 parent 5efccdb
Tip revision: 114345a68d6bb8c10ed3858aaa6395cf37b79c1d authored by Ivan Enderlin on 14 January 2016, 20:00:12 UTC
Update because of the BC break.
Update because of the BC break.
Tip revision: 114345a
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/compiler" : "~3.0",
"hoa/consistency": "~1.0",
"hoa/exception" : "~1.0",
"hoa/file" : "~0.0",
"hoa/iterator" : "~2.0",
"hoa/protocol" : "~1.0",
"hoa/realdom" : "~0.0",
"hoa/ustring" : "~4.0",
"hoa/visitor" : "~2.0"
},
"require-dev": {
"hoa/math": "~0.0"
},
"autoload": {
"psr-4": {
"Hoa\\Praspel\\": "."
}
},
"extra": {
"branch-alias": {
"dev-master": "1.x-dev"
}
}
}
Computing file changes ...