Ticket #41570: Portfile.diff
File Portfile.diff, 1.1 KB (added by dliessi (Davide Liessi), 11 years ago) |
---|
-
Portfile
old new 22 22 sha256 b9ae5263982f39114e8e785474e4e4d80aea54f938bd08e562d0b72b8e3c8c0e 23 23 24 24 subport frescobaldi-devel { 25 github.setup wbsoft frescobaldi 2a50b1033695350416fe0c2a2e605a9d74b3265a25 github.setup wbsoft frescobaldi 7a475eff58ef057bb3cb1ef0ac2107b5f8e72ee1 26 26 27 27 # github.setup also sets 'name frescobaldi', overriding the subport name. 28 28 # With 'name ${subport}', `port lint frescobaldi-devel` gives the following error: … … 33 33 set PortInfo(name) ${subport} 34 34 35 35 conflicts frescobaldi 36 version 201311 0436 version 20131126 37 37 set dev_version 2.0.12 38 38 39 checksums rmd160 a1d45ccde2aa445bc9284dc9a50da973bcb90a3d\40 sha256 c cd868a9d019679bc11cdc2dfc41591e861ead50c044bc476189487d54062b7e39 checksums rmd160 41db2f0e3b1bd5a8b02d15ce66b641101fa326fc \ 40 sha256 c38c1880b34cd985b28a6404c9ce18b3e97d457ebd2a751368be197b327b4315 41 41 } 42 42 43 43 build {}