[EDIT]
Deleted earlier post/explanation because the "upgrade" failed forcing an install from disk. Further reading suggests that an upgrade from one release to another can only be done starting with Ubu 14.04 and forward. Guess there must be a bug in that Ubu 12.02 thought it qualified.
Sorry for the confusion.
Copyright © 2024 Einstein@Home. All rights reserved.