Cervenka was acquired by the Marlins on Saturday, Ken Rosenthal of FOXSports.com reports.

Cervenka had been drawing interest from the Astros in recent weeks but will take his talents to Miami instead following the transaction.