CafeOBJ 1.6.2 released
We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language. It has been a long time since we made a formal release. There has been an internal release that really never...
Arch Linux: Fix gcr-agent interfering with ssh/gpg-agent
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). The problem is, not...
SASL-XOAUTH2 etc for Arch Linux
I recently found myself in need of reading and sending emails from an MS Outlook server. To that end, I have packaged the sasl-xoauth2 (upstream, AUR package) tool for AUR, as well as have...
Debian TeX Repo Stats
After having worked about 18 years on getting Debian users a great TeX experience, things have turned sour between Debian and me. So I think it is time to look a bit at my...
TeX Live 2023 released
Get the Champagne ready, we have released the final images of TeX Live 2023. The biggest change in this year’s release is the switch to 64bit Windows binaries, and renaming the binary directory from...
End of support and updates to the KDE/Plasma Debian builds
It has been many years that I have provided up-to-date builds of KDE/Plasma for Debian stable, testing, unstable. It is now more than a year that I don’t use Debian anymore. Time to send...
FFmpeg – tips and tricks
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. It is such a fantastic beast...
KDE/Plasma for Debian – Update 2022/11
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...
Debian complaining to KDE …
So now some Debian boohoos are complaining about my blog which is aggregated at Planet KDE, directly to KDE, how nice. They were bothered by the following statement: Usual disclaimer: (1) Considering that I...
KDE/Plasma for Debian – Update 2022/8
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 status is as...
Enrico Zini on DAM and “responsability”
The one single person within Debian who has worked for years to get me ostracized and thrown out of Debian is … Enrico Zini. Probably because I made a joke about him and his...
KDE/Plasma for Debian – Update 2022/7
(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. But I have anyway updated my repos at...
Key validity extension of OBS repository
Yesterday, the signing key of my OBS repositories has expired (I didn’t know they do). I have the validity extended now. To fix errors with access to the repos, please download the updated key...
KDE Gears 22.04 and Plasma 5.24.5 for Debian
I have updated my OBS builds to contain the new KDE Gears 22.04 as well as the last point release of KDE Plasma 5.24.5. As usual, the packages are provided via my OBS builds....
TLContrib on CTAN
Since a few years I am also managing tlcontrib – the supplementary TeX Live package repository. It contains quite a lot of packages which cannot make it into TeX Live proper out of various...
