<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">thanks… Owing to David Strubbe’s previous messages, I found the correct place on github and was able to install the older bison as well as, at last, openscad.<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 6 Dec2020, at 3:35 PM, Ryan Schmidt <<a href="mailto:ryandesign@macports.org" class="">ryandesign@macports.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class=""><br class=""><br class="">On Dec 5, 2020, at 19:51, Murray Eisenberg wrote:<br class=""><br class=""><blockquote type="cite" class="">Those instructions say that if the older versions have been uninstalled — which I did do — then to start by searching in the repositiry — which I did. But I don’t see any History item for that port.<br class=""></blockquote><br class="">The history of the bison portfile is at<br class=""><br class=""><a href="https://github.com/macports/macports-ports/commits/master/devel/bison/Portfile" class="">https://github.com/macports/macports-ports/commits/master/devel/bison/Portfile</a><br class=""><br class=""><br class=""></div></div></blockquote></div><br class=""><div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">---<br class="">Murray Eisenberg<span class="Apple-tab-span" style="white-space: pre;"> </span><a href="mailto:murrayeisenberg@gmail.com" class="">murrayeisenberg@gmail.com</a><br class="">503 King Farm Blvd #101<span class="Apple-tab-span" style="white-space: pre;"> </span><br class="">Rockville, MD 20850-6667<span class="Apple-tab-span" style="white-space: pre;"> </span>Mobile (413)-427-5334<br class=""><br class=""></div>
</div>
<br class=""></body></html>