| changeset 46109 | 03e3b4b401e9 |
| parent 46061 | 7a1af6666527 |
| child 47266 | bf9796e44584 |
--- a/Admin/contributed_components Wed Jan 04 00:30:53 2012 +0100 +++ b/Admin/contributed_components Wed Jan 04 00:32:02 2012 +0100 @@ -1,7 +1,7 @@ #contributed components contrib/cvc3-2.2 contrib/e-1.4 -#contrib/kodkodi-1.2.16 +contrib/kodkodi-1.2.16 contrib/spass-3.7 contrib/scala-2.8.1.final contrib/vampire-1.0