21 lines
418 B
JSON
21 lines
418 B
JSON
|
{
|
||
|
|
"name": "mcnd/lean-console",
|
||
|
|
"description": "A powerful enough debug console for LEAN.",
|
||
|
|
"type": "library",
|
||
|
|
"license": "MIT",
|
||
|
|
"authors": [
|
||
|
|
{
|
||
|
|
"name": "Dave Mc Nicoll",
|
||
|
|
"email": "mcndave@gmail.com"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"require": {
|
||
|
|
"mcnd/lean": "dev-master"
|
||
|
|
},
|
||
|
|
"autoload": {
|
||
|
|
"psr-4": {
|
||
|
|
"Lean\\Console\\": "src/"
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|