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
Raw File
Tip revision: 59a146d02a71f024555a9535f6ade23eb6b9294f authored by Ivan Enderlin on 09 November 2014, 10:05:20 UTC
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"
        }
    }
}
back to top