camlp5 version 7.03 is located in https://github.com/camlp5/camlp5/archive/rel703.tar.gz What do I do in an updated Portfile to point at that? Perry -- Perry E. Metzger perry at piermont.com