Ticket #20717: eiffelstudio65-I.patch

Portfile

@@ -2 +2 @@
 PortSystem        1.0
 
 name              eiffelstudio65
-set minor_version 79743
+set minor_version 80294
 version           6.5.${minor_version}
 set branch        [join [lrange [split ${version} .] 0 1] ""]
 categories        lang
@@ -34 +34 @@
 extract.only      ${distname}${extract.suffix}
 worksrcdir        PorterPackage
 
-checksums         ${distname}${extract.suffix} rmd160 9cfa6d3e60a71745698c9f6a131da1daa3686663 \
+checksums         ${distname}${extract.suffix} rmd160 8b871a4da5eef26845110691f0eca3b98ae19891 \
                   ${eiffel_launch} rmd160 9a6ffe7f1bbc302b60b72197c84ad3a93d31cc0c
 
 use_configure     no