coqPackages.coqeal: master, add dependency
coqPackages.coqeal: master, add dependency

In order to include matrix normal forms in
CoqEAL (https://github.com/coq-community/coqeal/pull/54)
we add a dependency to mathcomp-real-closed.

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