Ticket #51647: Portfile-gringo.2.diff

File Portfile-gringo.2.diff, 572 bytes (added by antonbachin@…, 8 years ago)

  • Portfile

    old new  
    55
    66name                gringo
    77version             4.5.4
    8 revision            1
     8revision            2
    99categories          math devel
    1010platforms           darwin
    1111maintainers         mww openmaintainer
    … …  
    2525                    sha256  81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
    2626
    2727depends_build       port:scons port:re2c port:bison
    28 depends_lib         port:boost
    2928
    3029worksrcdir          ${name}-${version}-source
    3130