Infra.Market, a construction materials company, has successfully sold around 10% of its stake in RDC Concrete (RDC), a leading ready-mix concrete company.