Ticket #42633: Portfile-logtalk-devel.diff

File Portfile-logtalk-devel.diff, 526 bytes (added by pmoura (Paulo Moura), 11 years ago)
  • Portfile

    old new  
    33PortSystem      1.0
    44name            logtalk-devel
    55conflicts       logtalk
    6 version     3.00.0-a34
     6version     3.00.0-a36
    77
    88categories      lang
    99maintainers     logtalk.org:pmoura
     
    2424
    2525fetch.type      git
    2626git.url         git://github.com/LogtalkDotOrg/logtalk3.git
    27 git.branch      f2c029e930610b53ad8140ba103cc984b77ebb76
     27git.branch      ffe5c296b8568f9a00a9937b70aba48999e1a6de
    2828
    2929distname                logtalk-${version}
    3030