CafeOBJ 1.6.2 released 0

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...

SASL-XOAUTH2 etc for Arch Linux 0

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 4

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 1

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...

FFmpeg – tips and tricks 10

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 24

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...

21

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 70

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...

KDE/Plasma for Debian – Update 2022/7 67

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...

15

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...

TLContrib on CTAN 1

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...