- Added Cint 5.4.25 to the list of working Cints
[ginac.git] / debian / manpage.1.ex
2000-01-17 Richard Kreckel- Importing new files for packaging Debian GNU/Linux...