Christian.Iseli at licr.org wrote: >We have 58 packages not available in extras devel or release: >GiNaC qspencer > > GiNaC is now renamed to ginac and has been removed from CVS. Is there an official list of discontinued packages that this should be put on? -Quentin