| changeset 47578 | d83254265530 |
| parent 47524 | f80c6d492763 |
| child 47582 | cee347fe7ab1 |
| child 47604 | c0fe12591c93 |
--- a/Admin/contributed_components Thu Apr 19 11:00:12 2012 +0200 +++ b/Admin/contributed_components Thu Apr 19 11:10:03 2012 +0200 @@ -3,7 +3,7 @@ contrib/e-1.4 contrib/hol-light-bundle-0.5-126 contrib/kodkodi-1.2.16 -contrib/spass-3.7 +contrib_devel/spass-3.8ds contrib/scala-2.9.2 contrib/vampire-1.0 contrib/yices-1.0.28