From a Libertarian Party Insider

Were Ron Paul to express interest in running in November as a Libertarian--and he has not--the nomination would be handed to him on a golden platter. Gary Johnson is only a fall back. But it would have to happen before the LP convention in early May.