Curiously, 3 of them have a new version in trunk but are not loaded/merged...
Though the package names are in the latest update monticello configuration map:
- 45Deprecated
- ST80
- Universes
Any known reason for this?

Nicolas