> Any answer for the INRIA side? Well, I am not working at INRIA, but I am "trusted" and can access and work on some parts of the CVS archive of Coq, as far as I behave correctly (e.g. working on separate branches or having my commits double-checked by others). Moreover, it is possible to obtain a guest account (that must be renewed every year) at every INRIA site I know.
So, with a bit of pressure, getting CVS access on restricted branches and from a trusted machine (identified by IP number) should be possible for the debian mantainer also. Cheers, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen PhD Student in Computer Science at University of Bologna E-mail: [EMAIL PROTECTED] http://caristudenti.cs.unibo.it/~sacerdot ----------------------------------------------------------------