Hi, roconnor at theorem.ca writes: > I have a completely different dervation for TeXmacs than the one in > nixpkgs. I could send that to you. Or merge both in Nixpkgs? Thanks, Ludo’.