[GiNaC-devel] GiNaC 1.3.0

[Jens Vollinga]

Dear Chris,

On Mon, Oct 25, 2004 at 11:25:54AM +0200, Chris Dams wrote:
> Another issue is that CVS-updating does not work at the moment.
> 
> chrisd at gamow:~/ginac> cvs update
> [...snip...]
> cvs server: Updating .
> cvs server: failed to create lock directory for `/home/cvs/GiNaC'
> (/home/cvs/GiNaC/#cvs.lock): No space left on device
> cvs server: failed to obtain dir lock in repository `/home/cvs/GiNaC'
> cvs [server aborted]: read lock failed - giving up

Should work now (our server was out of disk space for a short time).

Bye,
Jens