coqPackages.mathcomp-reals: init at 1.7.0#351897

vbgl merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

proux01:coq-mathcomp-analysis-realsproux01/nixpkgs:coq-mathcomp-analysis-realsCopy head branch name to clipboard