Hi Sören, On 2026-03-27 at 10:49+01:00, Sören Tempel wrote: > I am nmeum (aka. Sören) [1]. I've been using Guix for roughly 2.5 years > and have contributed to various parts of the system in that time. Among > other things, I have added new packages and services, fixed > reproducibility issues and various smaller packaging bugs here and > there. I recently applied for commit and was granted it yesterday. > > In terms of upcoming contributions, I am very interested in using Guix > for long-term reproducible research and advancing the utilization of > Guix in my research domain. I personally work on SMT-based software > verification and want to add new—and maintain existing—Guix packages for > software used in this area (e.g., SMT solvers).
I'm looking forward to nagging you to merge stuff! More seriously though, many thanks for packaging KLEE! FYI there's now a qa-packages team if you want to join or occasionally glance though the labelled pull requests. Cheers, Phong
signature.asc
Description: PGP signature
