- RPM_OPT_FLAGS are used for compiling
[ginac.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 87 Makefile.am
-rw-r--r-- 9249 Makefile.in
-rw-r--r-- 3136 powerlaws.tex
drwxr-xr-x - reference
drwxr-xr-x - tutorial