Ticket #42143: Portfile-logtalk-devel.diff

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

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