{
    "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"
}