Filip Øskar Łanecki comments

Results 6 comments of


                                            Filip Øskar Łanecki

bug: segmentation fault with `-l`

alpine repos do not have a newer version, i will try to run an updated version

bug: segmentation fault with `-l`

sorry, i did not yet have the time necessary to cross compile for the device, i will try to find some this month

Player halts when playing any transcoded media on webOS 23

can also confirm, the exact same issue, video was not playing on WebOS if transcoded until i disabled fMP4

The process 'altjit' failed with code 1. Could not connect to device . The process 'python3' returned unexpected output. KeyError: EnumIntegerString.new(3, 'PUBLIC_KEY')

same here iPadOS 17.5 (21F5048f) and Alt Server on Sonoma 14.4.1 (23E224)

Applied Module Functors should be treated as Modules

this will usually do the trick, but does not resolve the harder issue of doing this inside a module declaration, not the body.

Applied Module Functors should be treated as Modules

unfortunately, i do not think so, i get `Syntax error: '.' expected after [gallina_ext] (in [vernac_aux]).`, of course the dot is present after `F`, but i think it expects it...