Anders, how did you install it?
2016-10-04 22:51 GMT+01:00 Anders Lundstedt <[email protected]>: > 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 > -- Tomasz Czyż
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
