[Nix-dev] Environment variable $COQPATH not set

Anders Lundstedt anders at anderslundstedt.se
Tue Oct 4 23:51:19 CEST 2016


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?


More information about the nix-dev mailing list