<?php

// archives releases
$oldrels = array(
	"1.0.2" => "200810161426",
	"1.0.1" => "200810131537",
	"1.0.0" => "200806240900",
	"0.7.2" => "200610271244",
	"0.7.1" => "200610021152",
	"0.7.0" => "200609251348",
);

?>