The Coq mailing list

[Robbert Krebbers <mailinglists AT robbertkrebbers.nl>]

Hello,

I am trying to compile a Coq project that relies on ssreflect and 
mathcomp. While doing this, I wonder if one does not want to

  make install

due to the lack of superuser rights (or because one wants to keep Coq 
contribs in a place that is user writable), what is the appropriate 
place to put user contributions?

On the mailinglist, I can only find a discussion on "04/24/2011 04:18 
PM" where Tom Prince proposes to use "$HOME/.local/lib/coq" for this. 
What is the current status?

Robbert