| changeset 47266 | bf9796e44584 |
| parent 46109 | 03e3b4b401e9 |
| child 47524 | f80c6d492763 |
--- a/Admin/contributed_components Sun Apr 01 22:55:06 2012 +0200 +++ b/Admin/contributed_components Sun Apr 01 23:09:36 2012 +0200 @@ -1,6 +1,7 @@ #contributed components contrib/cvc3-2.2 contrib/e-1.4 +contrib/hol-light-bundle-0.5-126 contrib/kodkodi-1.2.16 contrib/spass-3.7 contrib/scala-2.8.1.final