In this case we can still retrieve the installed versions from the installation records $SAGE_LOCAL/var/lib/sage/installed (in the case of the sage distribution), but we will not be able to provide all details such as remote_version.

CC: @videlec @tobiasdiez @seblabbe @tobihan @jhpalmieri @fchapoton @kliem @slel

Component: build

Keywords: sd111

Author: Matthias Koeppe

Branch/Commit: e9a7572

Reviewer: Tobias Diez, Jonathan Kliem

Issue created by migration from https://trac.sagemath.org/ticket/30940