Gracefully handle deleted packages in analysis
Previously, the analysis phase didn't expect any package deletions. So,
we'd fail with the error "impossible". But, with the new opam-repository
archival process, we allow for deletions, even though only in the
special case of a package being archived.
906d7d
-
-
Dec 17 07:16 +00:00