All issues

Search results

Check version of already installed nix binary

Status: Open.

#149In runtimeverification/kup;

· juliankuners opened on Apr 22, 2026

--version argument in kup install doesn't disambiguate between paths and branch names

Status: Open.

#138In runtimeverification/kup;

· lucasmt opened on Aug 18, 2025

Update kup list to show nicer and shorter version strings again

Status: Open.

#137In runtimeverification/kup;

· juliankuners opened on Jul 31, 2025

Add more Nix versions to test CI workflow

Status: Open.

#136In runtimeverification/kup;

· palinatolmach opened on Jul 31, 2025

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

Status: Open.

#135In runtimeverification/kup;

· juliankuners opened on Jul 31, 2025

kup doesn't work in --no-daemon (single user) Nix installs

Status: Open.

#121In runtimeverification/kup;

· 0cjs opened on Aug 8, 2024

Do not use terminal control codes on kup output when it's not a terminal

Status: Open.

#120In runtimeverification/kup;

· 0cjs opened on Aug 8, 2024

Use "regular" Unicode chars for status display

Status: Open.

#119In runtimeverification/kup;

· 0cjs opened on Aug 8, 2024

Can we have a simple description of the problem kup solves?

Status: Open.

#112In runtimeverification/kup;

· sliedes opened on May 9, 2024

Feat: allow passing multiple install targets in CLI

Status: Open.

#110In runtimeverification/kup;

· sambacha opened on Mar 30, 2024

kup ignores shell env settings, must pass env directly

Status: Open.

#108In runtimeverification/kup;

· sambacha opened on Mar 23, 2024

Fix nix version in installer and possibly emit a warning if nix version newer than tested with

Status: Open.

#105In runtimeverification/kup;

· goodlyrottenapple opened on Mar 7, 2024