\n");
foreach ($downloads as $x) {
echo "{$x["label"]}\n";
}
echo("Old Boost Releases\n");
echo("Git Repositories\n");
echo("\n");
foreach ($downloads as $x) {
echo("{$x["label"]}
");
foreach ($x["entries"] as $entry) {
echo("\n");
echo(" {$entry->full_title_xml}
\n\n");
echo(" {$entry->web_date}
\n\n");
echo(" \n");
echo(" {$entry->purpose_xml}
\n\n");
echo("\n");
echo "{$entry->download_table}\n";
}
}