[GiNaC-devel] Debian files in git repository

[Richard B. Kreckel]

Hi,

I suppose nobody really cares about the debian/ directory. The files in 
there have not been maintained well, lately. Of course, this is because 
their lifecycle is better maintained over with the Debian packages. 
Anybody who cares about these files knows where they are: they are 
contained in the ginac_*.diff.gz files in the Debian package pool.

Unless somebody speaks up, I will remove them from the repository, soon.

Cheers
    -richy.
-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>