+28
-10
pkgs/by-name/eu/eukleides/package.nix
+28
-10
pkgs/by-name/eu/eukleides/package.nix
···············
+19
pkgs/by-name/eu/eukleides/texinfo-escape.patch
+19
pkgs/by-name/eu/eukleides/texinfo-escape.patch
···