Российский программист Петр Левашов, которого 3 октября суд Испании разрешил выдать США, был заочно арестован в России.