Nichokas

Sorry for the late reply, I would use it in termiux to control repositories and upload code that I have modified from termux, because if it is a private repository...

Termiux is like a linux console but for android mobiles.

2 months ago when I reported it I didn't support android-arm but it seems that now it does

> > @andyfeller I'm not sure that's true for termux. Here's where the CLI documents Android support: https://github.com/cli/cli/blob/trunk/docs/install_linux.md#android (and here it is in the termux pkg repo: https://packages.termux.dev/apt/termux-main/pool/main/g/gh/) > >...

> @Nichokas thanks for the response. > > First I think we need to clear up some confusion, when you say "Support android-arm" are generally talking about android-arm (32-bit and...

If the branch get merged, don't forget to do the version bump ;)  https://github.com/sebastienrousseau/kyberlib/actions/runs/12925591312/job/36047069714

It appears that the `proc-macro-error` has been replaced, but this change is not reflected on the latest release -> https://github.com/cryspen/hax/commit/215371a1b318f9386333147d233bc3dc21a19a35 https://docs.rs/hax-lib-macros/latest/hax_lib_macros/

Yesterday there wasn´t any problem but today the videos are corrupt by the DRM

I was able to get a wideview request of the desktop version (https://cr-license-proxy.prd.crunchyrollsvc.com/v1/license/widevine)  [response.json](https://github.com/user-attachments/files/15911899/response.json)

> Decrypting the widevine drm stream with the matching keys is doable in theory. But I won't add it, it's in a legal grayzone and might lead to a DMCA...