changeset 46061 | 7a1af6666527 |
parent 44972 | 7704b2fb02cc |
child 46109 | 03e3b4b401e9 |
--- a/Admin/contributed_components Fri Dec 30 18:14:56 2011 +0100 +++ b/Admin/contributed_components Sat Dec 31 00:19:32 2011 +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