ptex: 2.4.1 -> 2.4.2 (#185348)
ptex: 2.4.1 -> 2.4.2 (#185348)

* ptex: 2.4.1 -> 2.4.2

* Update default.nix

Co-authored-by: Jonas Heinrich <c97f5037ee69c86539c86e77deaa5539b1d34e24@project-insanity.org>
NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs