#archlinux-ports | Logs for 2026-08-13

Back
[00:29:38] <bschnei> yup! pretty sure it's a split in the same pkgbuild
[00:31:45] <bschnei> https://github.com
[00:31:46] <phrik> Title: linux-rpi5/PKGBUILD at main · bschnei/linux-rpi5 · GitHub (at github.com)
[00:32:40] <bschnei> think it's only needed for wifi and Bluetooth
[01:16:06] -!- bs86_ has joined #archlinux-ports
[01:17:38] -!- bs86 has quit [Ping timeout: 256 seconds]
[01:17:38] bs86_ is now known as bs86
[01:32:01] -!- leanguedes has quit [Remote host closed the connection]
[01:48:31] -!- Charon77|PC has joined #archlinux-ports
[01:51:00] -!- leanguedes has joined #archlinux-ports
[02:11:54] -!- h|ignition has quit [Remote host closed the connection]
[02:12:16] -!- h|ignition has joined #archlinux-ports
[03:23:50] -!- hcmb_ has joined #archlinux-ports
[03:23:51] hcmb is now known as Guest755
[03:23:51] -!- Guest755 has quit [Killed (iridium.libera.chat (Nickname regained by services))]
[03:23:51] hcmb_ is now known as hcmb
[06:08:37] <solskogen|M> gromit: yeeey!
[06:09:44] <solskogen|M> felixonmars: are you planning on updating agda-stdlib lib as well as agda? some of my scripts complained that agda-stdlib was dependent on the old version of agda.