Ticket #41570: Portfile.diff

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

    old new  
    2222                    sha256  b9ae5263982f39114e8e785474e4e4d80aea54f938bd08e562d0b72b8e3c8c0e
    2323
    2424subport frescobaldi-devel {
    25     github.setup        wbsoft frescobaldi 2a50b1033695350416fe0c2a2e605a9d74b3265a
     25    github.setup        wbsoft frescobaldi 7a475eff58ef057bb3cb1ef0ac2107b5f8e72ee1
    2626
    2727    # github.setup also sets 'name frescobaldi', overriding the subport name.
    2828    # With 'name ${subport}', `port lint frescobaldi-devel` gives the following error:
     
    3333    set PortInfo(name) ${subport}
    3434
    3535    conflicts           frescobaldi
    36     version             20131104
     36    version             20131126
    3737    set dev_version     2.0.12
    3838
    39     checksums           rmd160  a1d45ccde2aa445bc9284dc9a50da973bcb90a3d \
    40                         sha256  ccd868a9d019679bc11cdc2dfc41591e861ead50c044bc476189487d54062b7e
     39    checksums           rmd160  41db2f0e3b1bd5a8b02d15ce66b641101fa326fc \
     40                        sha256  c38c1880b34cd985b28a6404c9ce18b3e97d457ebd2a751368be197b327b4315
    4141}
    4242
    4343build {}