1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
{
"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" : "~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"
}
}
}
|
