Ticket #42838: Portfile.diff

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

    old new  
    55PortGroup           python 1.0
    66PortGroup           github 1.0
    77
    8 github.setup        wbsoft frescobaldi 2.0.14 v
     8github.setup        wbsoft frescobaldi 2.0.15 v
    99conflicts           frescobaldi-devel
    1010categories          editors python
    1111maintainers         gmail.com:davide.liessi openmaintainer
     
    1919supported_archs     noarch
    2020license             GPL-2+
    2121
    22 checksums           rmd160  2d1a18d3137e1e8cead8736dfc02984b3bfef6e3 \
    23                     sha256  97e2582e14d565222bfe11cb677f81a67176ac96309c750d0c8f42f6ce1102f9
     22checksums           rmd160  84cd357779e609a399f323567fde669efa6e2a72 \
     23                    sha256  ab2c1b5738b0b3935d4e90f502a1d4587ec9912a02904005a3472181edf9912c
    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             20140306
    36     set dev_version     2.0.14
     35    version             20140311
     36    set dev_version     2.0.15
    3737}
    3838
    3939depends_run-append  port:portmidi