| changeset 47605 | 075b98ed1cab |
| parent 47604 | c0fe12591c93 |
| parent 47582 | cee347fe7ab1 |
| child 47890 | 0cedab5d2eb7 |
--- a/Admin/contributed_components Thu Apr 19 11:14:57 2012 +0200 +++ b/Admin/contributed_components Thu Apr 19 17:49:02 2012 +0200 @@ -3,8 +3,8 @@ contrib/e-1.4 contrib/hol-light-bundle-0.5-126 contrib/kodkodi-1.2.16 -contrib_devel/spass-3.8ds +contrib/spass-3.8ds contrib/scala-2.9.2 contrib/vampire-1.0 contrib/yices-1.0.28 -contrib_devel/z3-3.2 +contrib/z3-3.2