3rd party libs are not in the version control. Export them from their own repositories (SVN externals will be added eventually).

Agavi
svn export -r 2041 http://svn.agavi.org/branches/0.11/src agavi

Propel runtime
svn export -r 680 http://svn.phpdb.org/propel/branches/1.3/runtime propel_runtime