Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions

Open
#135 0 comments 0 reactions 1 assignee View on GitHub

@juliankuners is already working on this.

Since Jul 31, 2025.

Assessment

This issue has not been assessed yet.

Description

Nix has previously replaced index addressing for nix profile installed packages with name addressing: NixOS/nix#9656.

Kup currently uses indices to remove packages prior to installing a new version to replace it (updating packages). This fails, when the respective nix manifest does not support indices anymore. This seems to be case since recently for some users of newer versions, though it does not seem to be entirely dependent on the version of nix in use for some reason. Maybe the manifest has to be upgraded respectively as well.

Kup should switch to using installed package names (typically a combination of the package name and some number) to address packages to be removed. Additionally, the user should be prompted to update nix in case addressing by installed package name is not yet supported with the provided revision of nix.

Dominant language
Python
Stars
10
Forks
2
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/kup

All issues in runtimeverification/kup

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.