1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{
"name": "Polyml",
"description": "Standard ML implementation",
"url": "https://github.com/polyml/polyml/archive/v5.8.tar.gz",
"mirror": null,
"homepage": "https://www.polyml.org/",
"depends": [],
"resource": [],
"conflicts": [],
"patches": [],
"install": [
"system \"./configure\", \"--disable-dependency-tracking\", \"--disable-debug\",",
"\"--prefix=#{prefix}\"",
"system \"make\"",
"system \"make\", \"install\""
],
"version": "5.8",
"file": "polyml.rb"
}
|
