Miami Dade College gave up a nearly 3-acre plot of downtown real estate as a gift for the future library.