Rui Chen

need to wait for a bit: - https://github.com/agda/agda2hs/issues/349 - https://github.com/agda/agda2hs/pull/350

``` ==> /home/linuxbrew/.linuxbrew/Cellar/you-get/0.4.1730/bin/you-get --info https://youtu.be/he2a4xK8ctk --debug [DEBUG] Extracting from the video page... [DEBUG] get_content: https://www.youtube.com/watch?v=he2a4xK8ctk [DEBUG] Retrieving the player code... [DEBUG] get_content: https://www.youtube.com/s/player/[57](https://github.com/Homebrew/homebrew-core/actions/runs/10692351901/job/29640654925?pr=181741#step:4:58)c75fa4/player-plasma-ias-phone-en_US.vflset/base.js [DEBUG] Loading ytInitialPlayerResponse... you-get: version 0.4.1730, a...

it might be a better idea to build this key_only formula along with #178020 (otherwise it would require rebase and rebuild)

> > quazip consistently failed on linux, but cannot be reproduced when I tried build/testing on github linux runner, so suggesting to skip the linux CI test. > > Does...

``` > In file included from /home/linuxbrew/.linuxbrew/Cellar/mesa/24.1.4/include/EGL/egl.h:20, > from main.cpp:7: > main.cpp: In function ‘int main(int, char**)’: > /home/linuxbrew/.linuxbrew/Cellar/mesa/24.1.4/include/EGL/eglplatform.h:170:56: error: invalid conversion from ‘EGLNativeDisplayType’ {aka ‘void*’} to ‘Display*’ {aka ‘_XDisplay*’}...

I did not try in the past days, anything that I should try on?

I can only see 3.1.1 there

any updates on this thread? :)

@safiyat I think this might have been fixed, I cannot reproduce anymore with setuptools-72.1.0 ``` $ python -m pip install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile python-dateutil Using pip 24.0 from...