澪

> Thanks, I've updated the package. Let me know if it works! Yes, it works

``` unvanquished Unvanquished 0.54.0 Linux arm64 Jun 24 2023 cmdline: -libpath /usr/lib/unvanquished -pakpath /usr/share/unvanquished/pkg [FS] Lib path: /usr/lib/unvanquished [FS] Home path: /home/user/.local/share/unvanquished [FS] Pak search path: /usr/share/unvanquished/pkg [FS] Pak search...

@Viech Apparently `cp -r` made incorrect perm. Do you know how to fix it? ``` ls -lh /usr/lib/unvanquished/lib-armhf total 2.1M -rwxr-x--- 1 root root 96K Jun 24 19:42 ld-linux-armhf* -rwxr-x---...

The game launched successfully after perm is fixed

> Yes that strange on release : https://github.com/Kron4ek/Wine-Builds/releases/tag/proton-8.0-5 that work great with `wine-proton-8.0-5-amd64.tar.xz` i can run games in wow64 but with last release now that not work. Is this build...

A more mature implementation would require explicit polarity annotations References: https://github.com/agda/agda/issues/2411 https://github.com/agda/agda/pull/6385

> because mathematicians may want to use them. Is there any example?

Should them be disallowed?

How about detecting them on the fly?

😨