GitHub repository: rikhuijzer/math-comp-nix
Description: Nix support for mathcomp packages