The Astros released Velazquez on Tuesday, Brian McTaggart of MLB.com reports.
Velazquez is expected to sign with a team in Asia, and the Astros will now have another 40-man roster spot to work with. The 27-year-old slashed .188/.257/.406 with six home runs across 52 regular-season contests between the Cardinals and Astros.