<?php 

/** Archived releases */

$oldrels = array(
		"0.7.0" => "201007251735",
		"0.7.1" => "201012152135",
		"0.7.2" => "201101190547",
		"0.7.3" => "201104270426",
		"0.8.0" => "201106151305",
		"0.8.1" => "201109160549"
);

?>