path: root/.nix/coq-overlays/mathcomp-single/default.nix

{ mathcomp, version ? null }:
mathcomp.override {single = true; inherit version;}