Adapted to new version 1.2.5.
[ginac.git] / debian /
drwxr-xr-x   ..
-rw-r--r-- 186 changelog
-rw-r--r-- 1373 control
-rw-r--r-- 201 copyright
-rw-r--r-- 45 dirs
-rw-r--r-- 146 ginac-dev.files
-rw-r--r-- 93 ginac-dev.postinst
-rw-r--r-- 79 ginac-dev.postrm
-rw-r--r-- 132 ginac-ginsh.menu
-rw-r--r-- 29 ginac.files
-rw-r--r-- 102 ginac.menu
-rw-r--r-- 49 ginaccint.files
-rw-r--r-- 39 postinst
-rwxr-xr-x 1275 rules