<?php

// archived releases
$oldrels = array(
	"1.1.0" => "201106070515",
	"1.0.0" => "201006150611",
	"0.7.2" => "200908120436",
	"0.7.1" => "200907170713",
	"0.7.0" => "200906160952",
);

?>