folproof/package.json at master · cdibbs/folproof · GitHub

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
{
  "bugs": {
	"url": "http://github.com/cdibbs/folproof/issues"
  },
  "name": "folproof",
	"author": "Chris Dibbern <c.dibbern@gmail.com>",
  "version": "0.1.1",
	"engines" : { "npm" : ">=1.3.24" },
  "description": "A first-order logic proof verifier",
  "main": "./",
  "bin" : "./cli.js",
  "dependencies" : {
	"nomnom": "1.5.2",
	"path" : "0.4.9"
  },
  "devDependencies": {
	"jison": "git://github.com/zaach/jison.git#5389a5890f",
  "nodeunit" : "latest",
  "browserify" : "latest"
  },
	"preferGlobal" : true,
  "scripts" : {
    "test" : "make test"
  },
  "repository": { "type" : "git", "url" : "git://github.com/cdibbs/folproof.git" },
  "keywords": [
    "fol", "folproof", "proof", "logic", "language", "first-order"
  ],
  "author": "",
  "license": "MIT",
  "readmeFilename": "readme.md"
}