Ticket #42490: Portfile-frescobaldi.diff
File Portfile-frescobaldi.diff, 1.1 KB (added by dliessi (Davide Liessi), 11 years ago) |
---|
-
Portfile
old new 21 21 sha256 5b272a65a329fe32d986edb28afb6a7361773ff895b13f26e3207ab268e9b955 22 22 23 23 subport frescobaldi-devel { 24 github.setup wbsoft frescobaldi 4be3711100b77239a1a5bdd414d2d208f57d18f424 github.setup wbsoft frescobaldi 0cfa5eac4cdbe6136035cb3d2f9d5edf8f03d467 25 25 26 26 # github.setup also sets 'name frescobaldi', overriding the subport name. 27 27 # With 'name ${subport}', `port lint frescobaldi-devel` gives the following error: … … 32 32 set PortInfo(name) ${subport} 33 33 34 34 conflicts frescobaldi 35 version 201 3123136 set dev_version 2.0.1 335 version 20140211 36 set dev_version 2.0.14 37 37 38 checksums rmd160 b93ef5151996587ec49bfd9501638497d078fb8f\39 sha256 7 2ab5368dcbce263d87da862277540c1aee8561f6e2dbc3a4e259dee29701f2138 checksums rmd160 640169b560cea175aa4d8d260dcb324948d65fb3 \ 39 sha256 79cfea2e2c43dd6a3e752eeeab1142d8ff186798662057d27c2f46c94a255682 40 40 } 41 41 42 42 build {}