seafile-server: add config options for extra features
[feed/packages.git] / lang / python-gmpy /
drwxr-xr-x   ..
-rw-r--r-- 1094 Makefile