<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hey,<div class="">I have submitted a new port called Z3 as you can see in this link</div><div class=""><a href="https://trac.macports.org/ticket/51094" class="">https://trac.macports.org/ticket/51094</a></div><div class=""><br class=""></div><div class="">I was asked to change some parts of portfile. I did that except the checksums. I was told that the checksums will be changed because the github port. Can someone let me know how I can change it since using the same way will always generate the same checksums? If there any further changed, please let me know.</div><div class=""><br class=""></div><div class=""><div class="">
-Abdul<br class=""><span style="font-size: 11px;" class="">---------------------------------------------------------------------------------------------------------------</span><br style="font-size: 11px;" class=""><br style="font-size: 11px;" class=""><span style="font-size: 11px;" class="">Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". </span><br style="font-size: 11px;" class=""><span style="font-size: 11px;" class="">This is an issue that I am trying to fix.
</span></div>
<br class=""></div></body></html>