Search results

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

Status: Open.

#138 In runtimeverification/kup;

· lucasmt opened on Aug 18, 2025

Update kup list to show nicer and shorter version strings again

Status: Open.

#137 In runtimeverification/kup;

· juliankuners opened on Jul 31, 2025

Add more Nix versions to test CI workflow

Status: Open.

#136 In 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.

#135 In runtimeverification/kup;

· juliankuners opened on Jul 31, 2025

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

Status: Open.

#121 In 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.

#120 In runtimeverification/kup;

· 0cjs opened on Aug 8, 2024

Use "regular" Unicode chars for status display

Status: Open.

#119 In runtimeverification/kup;

· 0cjs opened on Aug 8, 2024

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

Status: Open.

#112 In runtimeverification/kup;

· sliedes opened on May 9, 2024

Feat: allow passing multiple install targets in CLI

Status: Open.

#110 In runtimeverification/kup;

· sambacha opened on Mar 30, 2024

kup ignores shell env settings, must pass env directly

Status: Open.

#108 In 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.

#105 In runtimeverification/kup;

· goodlyrottenapple opened on Mar 7, 2024

Log exceptions rather than swallow them

Status: Open.

#96 In runtimeverification/kup;

· geo2a opened on Feb 28, 2024