Hi Russell, > -# - coqide libraries are not installed;
I have committed your patch. Thanks a lot! Take care, Peter _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
- [Nix-dev] patch for coq roconnor
- [Nix-dev] Re: patch for coq Peter Simons
