Patch to upgrade the SmartEiffel port to the next public release. Fix: Makefile patch: And replace distinfo with: MD5 (SmartEiffel-1.2r7.tar.gz) = 7f1573a1bc6057175054e7813764c609 SIZE (SmartEiffel-1.2r7.tar.gz) = 1594903 And replace pkg-plist with:
State Changed From-To: open->closed Committed, thanks!