Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
mise python installation breaks AUR packages installations
Reported by Michallote · filed Oct 25, 2025Closed upstream on 2026-09-21 by bjarneo via an automated message, as a duplicate of #2728 (R-2065). GitHub close reason: completed.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
System details
11th Gen Intel(R) Core(TM) i5-1145G7 (8) @ 4.40 GHz, Intel Iris Xe Graphics @ 1.30 GHz [Integrated]
What's wrong?
mise python installs break AUR packages.
Whenever a mise python version is installed, packages that depend on system python, like anki, will break builds and won't install:
build output for anki and anki-bin
<img width="1194" height="885" alt="Image" src="https://github.com/user-attachments/assets/4640ba06-ca93-4567-97cf-59cdf43bbcf5" />
<img width="1209" height="910" alt="Image" src="https://github.com/user-attachments/assets/4d20761b-cc9e-4b29-b1ba-b117d405fdcc" />
The solution was removing python installations from mise with:
mise uninstall --all pythonThen it installed fine.
I would like to suggest pointing the python installation in the Menu > Install > Development to installing the uv python package manager directly instead of using mise to handle python. The current recommended workflows for python are virtual environments anyway. So I see little to no benefit of installing python through mise.
Related Issues
#2728
View raw text
### System details 11th Gen Intel(R) Core(TM) i5-1145G7 (8) @ 4.40 GHz, Intel Iris Xe Graphics @ 1.30 GHz [Integrated] ### What's wrong? ## mise python installs break AUR packages. Whenever a mise python version is installed, packages that depend on system python, like `anki`, will break builds and won't install: build output for `anki` and `anki-bin` <img width="1194" height="885" alt="Image" src="https://github.com/user-attachments/assets/4640ba06-ca93-4567-97cf-59cdf43bbcf5" /> <img width="1209" height="910" alt="Image" src="https://github.com/user-attachments/assets/4d20761b-cc9e-4b29-b1ba-b117d405fdcc" /> The solution was removing python installations from mise with: ``` mise uninstall --all python ``` Then it installed fine. I would like to suggest pointing the python installation in the Menu > Install > Development to installing the `uv` python package manager directly instead of using `mise` to handle python. The current recommended workflows for python are virtual environments anyway. So I see little to no benefit of installing python through mise. Related Issues #2728
- 4640ba06-ca93-4567-97cf-59cdf43bbcf5
- 4d20761b-cc9e-4b29-b1ba-b117d405fdcc
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
- Fixed bypr/11435· confirmed
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.