@ramin_hal9001 @dan @whitequark Similar experience, and switched to #Guix for the reproducible stuff... Still using Debian for other stuff.