I have installed the packages coq and coqPackages.mathcomp. As I understand the documentation at
https://nixos.org/nixpkgs/manual/#sec-language-coq the $COQPATH variable should then be set to include the mathcomp libraries. However the $COQPATH variable is not set. Is this a bug or have I misunderstood something? _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
