{
    "name": "Ppl",
    "description": "Parma Polyhedra Library: numerical abstractions for analysis, verification",
    "url": "https://mirrors.ocf.berkeley.edu/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz",
    "mirror": "https://mirrorservice.org/sites/ftp.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz",
    "homepage": "https://bugseng.com/ppl",
    "depends": [
        {
            "depend": "gmp",
            "build-depend": false
        }
    ],
    "resource": [],
    "conflicts": [],
    "patches": [
        {
            "url": "http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff_plain;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7",
            "strip": "1"
        }
    ],
    "install": [
        "system \"./configure\", \"--disable-dependency-tracking\",",
        "\"--disable-silent-rules\",",
        "\"--with-gmp=#{Formula[\"gmp\"].opt_prefix}\",",
        "\"--prefix=#{prefix}\"",
        "system \"make\", \"install\""
    ],
    "version": "1.2",
    "file": "ppl.rb"
}