There and back again

Get the Champagne ready, we have released the final images of TeX Live 2026.

We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language.

I finally found the reason why my ssh authentication socket provided by gpg-agent wasn’t used by programs started from the desktop environment (KDE in my case, but this is irrelevant).

I recently found myself in need of reading and sending emails from an MS Outlook server.

After having worked about 18 years on getting Debian users a great TeX experience, things have turned sour between Debian and me.

Get the Champagne ready, we have released the final images of TeX Live 2023.

It has been many years that I have provided up-to-date builds of KDE/Plasma for Debian stable, testing, unstable.

Over the years, and in particular with preparing videos of a conference for publication on YouTube, I have accumulated a few reminders how to do things with FFmpeg.

Monthly update on KDE/Plasma on Debian: Updates to Frameworks and KDE Gears Short summary of recent changes and updates: Frameworks updated to 5.99.0 Plasma 5.24 LTS (repo plasma524) has been updated to the latest patch level 5.24.7 Plasma 5.25 updated to…

So now some Debian boohoos are complaining about my blog which is aggregated at Planet KDE, directly to KDE, how nice.

Monthly update on KDE/Plasma on Debian: Updates to Frameworks and KDE Gears I have packaged KDE Gears 22.08 as well as the latest frameworks, and Plasma got a point release.

The one single person within Debian who has worked for years to get me ostracized and thrown out of Debian is … Enrico Zini.

(Update 2022-07-14: Plasma 5.25 now also available for Debian/stable) Long time I haven’t posted a lot about KDE/Plasma for Debian, most people will know the reason.

Just got reminded of this great short movie!

Yesterday, the signing key of my OBS repositories has expired (I didn’t know they do).