-
Ian Lynagh authored
gmp is now in a top-level directory and we only have the tarball in the darcs repo. It gets untarred if it is needed.
fdf1cd03
gmp is now in a top-level directory and we only have the tarball in the darcs repo. It gets untarred if it is needed.