Ticket #42490: Portfile-frescobaldi.diff

File Portfile-frescobaldi.diff, 1.1 KB (added by dliessi (Davide Liessi), 11 years ago)
  • Portfile

    old new  
    2121                    sha256  5b272a65a329fe32d986edb28afb6a7361773ff895b13f26e3207ab268e9b955
    2222
    2323subport frescobaldi-devel {
    24     github.setup        wbsoft frescobaldi 4be3711100b77239a1a5bdd414d2d208f57d18f4
     24    github.setup        wbsoft frescobaldi 0cfa5eac4cdbe6136035cb3d2f9d5edf8f03d467
    2525
    2626    # github.setup also sets 'name frescobaldi', overriding the subport name.
    2727    # With 'name ${subport}', `port lint frescobaldi-devel` gives the following error:
     
    3232    set PortInfo(name) ${subport}
    3333
    3434    conflicts           frescobaldi
    35     version             20131231
    36     set dev_version     2.0.13
     35    version             20140211
     36    set dev_version     2.0.14
    3737
    38     checksums           rmd160  b93ef5151996587ec49bfd9501638497d078fb8f \
    39                         sha256  72ab5368dcbce263d87da862277540c1aee8561f6e2dbc3a4e259dee29701f21
     38    checksums           rmd160  640169b560cea175aa4d8d260dcb324948d65fb3 \
     39                        sha256  79cfea2e2c43dd6a3e752eeeab1142d8ff186798662057d27c2f46c94a255682
    4040}
    4141
    4242build {}