Ticket #47860: Portfile-logtalk.diff
File Portfile-logtalk.diff, 1.4 KB (added by pmoura (Paulo Moura), 9 years ago) |
---|
-
Portfile
old new 3 3 PortSystem 1.0 4 4 name logtalk 5 5 conflicts logtalk-devel 6 version 3.00. 16 version 3.00.2 7 7 8 8 categories lang 9 9 maintainers logtalk.org:pmoura … … 31 31 master_sites ${homepage}files/ 32 32 33 33 checksums \ 34 sha256 df8e2e5e3ea3e5f8c1272bd39883cc5442cc490184ce5ccb62d497f89b35c1b6\35 rmd160 c506da9886a5c78bd1eb2e3b95bd7b3898643c0c34 sha256 f299978c563d9eb7712e4ca80978210828bfae8bbd4c92009b1a542483bb0fcb \ 35 rmd160 e43adc8155a1dc0f7e4a5132870203aae464c4d5 36 36 37 37 use_bzip2 yes 38 38 … … 70 70 ui_msg "* CxProlog (version 0.97.7 or later): cxlgt" 71 71 ui_msg "* ECLiPSe (version 6.1#143 or later): eclipselgt" 72 72 ui_msg "* GNU Prolog (version 1.4.2 or later): gplgt" 73 ui_msg "* JIProlog (version 4.0. 6 or later):jiplgt (first run may require sudo)"73 ui_msg "* JIProlog (version 4.0.14 or later): jiplgt (first run may require sudo)" 74 74 ui_msg "* Lean Prolog (version 3.8.8 or later): lplgt (experimental)" 75 75 ui_msg "* Qu-Prolog (version 9.0 or later): qplgt" 76 76 ui_msg "* Quintus Prolog (version 3.3 or later): quintuslgt (experimental)"