URI: 

   DIR CVS
   DIR gmp
   DIR mpc
   DIR mpfr