You are right, the file is not in the SVN. My apologies for this - I assumed that a file in the SVN could be renamed and would stay in the SVN but it doesn't seem so.
I've now uploaded it and corrected the other problem you found as well. Brian -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/mpir-devel/-/VxXg-tuIUhEJ. To post to this group, send email to mpir-devel@googlegroups.com. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en.