- Added Cint 5.4.25 to the list of working Cints
[ginac.git] / debian / diversions.ex
1 <FILE> <Diverted to> <Packagename>