1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{
"name": "Ats2Postiats",
"description": "Programming language with formal specification features",
"url": "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.12/ATS2-Postiats-0.3.12.tgz",
"mirror": null,
"homepage": "http://www.ats-lang.org/",
"depends": [
{
"depend": "gmp",
"build-depend": false
}
],
"resource": [],
"conflicts": [],
"patches": [],
"install": [
"ENV.deparallelize",
"system \"./configure\", \"--prefix=#{prefix}\"",
"system \"make\", \"all\", \"install\""
],
"version": "0.3.12",
"file": "ats2-postiats.rb"
}
|