No node patches/mpfr-3.1.3-fixes-1.patch at revision 3aaceb5b585526e9fafee60ad9e0633fb7a8a8ab
You can search in the repository history to see if that path existed but was later removed
TracGuide — The Trac User and Administration Guide