runtimeverification/kup

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Check version of already installed nix binary

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  runtimeverification/kup#149 · Abierto el 22/4/2026

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/kup#138 · Abierto el 18/8/2025

• Update `kup list` to show nicer and shorter version strings again

  Quizá libre de nuevo @juliankuners la tomó hace 425 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/kup#137 · 1 comentario · 1 asignado · Abierto el 31/7/2025

• Add more Nix versions to test CI workflow

  Quizá libre de nuevo @juliankuners la tomó hace 425 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/kup#136 · 1 asignado · Abierto el 31/7/2025

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

  Quizá libre de nuevo @juliankuners la tomó hace 425 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/kup#135 · 1 asignado · Abierto el 31/7/2025

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/kup#121 · 1 comentario · Abierto el 8/8/2024

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 48/100

  runtimeverification/kup#120 · Abierto el 8/8/2024

• Use "regular" Unicode chars for status display

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100

  runtimeverification/kup#119 · Abierto el 8/8/2024

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

  runtimeverification/kup#112 · 1 comentario · Abierto el 9/5/2024

• Feat: allow passing multiple install targets in CLI

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

  runtimeverification/kup#110 · Abierto el 30/3/2024

• kup ignores shell env settings, must pass env directly

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  runtimeverification/kup#108 · 4 comentarios · Abierto el 23/3/2024

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  runtimeverification/kup#105 · Abierto el 7/3/2024

• Log exceptions rather than swallow them

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 48/100

  runtimeverification/kup#96 · Abierto el 28/2/2024

• Installing `kup` fails with `error: opening directory ... No such file or directory`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  runtimeverification/kup#94 · Abierto el 18/12/2023

• Warning on `kup install k`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  runtimeverification/kup#93 · Abierto el 29/11/2023

• Incosistent detection of installed packages

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/kup#90 · Abierto el 9/11/2023

• `kup` install K does not work to build blockchain-k-plugin

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  runtimeverification/kup#57 · Abierto el 22/4/2023

• `k2nix` proposal

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  runtimeverification/kup#49 · 1 comentario · 2 reacciones · Abierto el 4/4/2023