Ticket #44005: Portfile-frescobaldi.diff

File Portfile-frescobaldi.diff, 1.2 KB (added by dliessi (Davide Liessi), 10 years ago)

  • Portfile

    old new  
    55PortGroup           python 1.0
    66PortGroup           github 1.0
    77
    8 github.setup        wbsoft frescobaldi 2.0.15 v
     8github.setup        wbsoft frescobaldi 2.0.16 v
    99conflicts           frescobaldi-devel
    1010categories          editors python
    1111maintainers         gmail.com:davide.liessi openmaintainer
    … …  
    1919supported_archs     noarch
    2020license             GPL-2+
    2121
    22 checksums           rmd160  84cd357779e609a399f323567fde669efa6e2a72 \
    23                     sha256  ab2c1b5738b0b3935d4e90f502a1d4587ec9912a02904005a3472181edf9912c
     22checksums           rmd160  54c46b02db8946d00315c5fa194ca97785e7bd96 \
     23                    sha256  2f7fb0f37151e2896b63c8c785aa3b5911d10c735d492e5fb95aae7c9cced64b
    2424
    2525subport frescobaldi-devel {
    2626    # github.setup also sets 'name frescobaldi', overriding the subport name.
    … …  
    3232    set PortInfo(name) ${subport}
    3333
    3434    conflicts           frescobaldi
    35     version             20140311
    36     set dev_version     2.0.15
     35    version             20140609
     36    set dev_version     2.0.16
    3737}
    3838
    3939depends_run-append  port:portmidi