skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/bin/polymake-config
/usr/lib/libpolymake-apps-rt.so
/usr/lib/libpolymake-apps-rt.so.4.11
/usr/lib/libpolymake-apps.so
/usr/lib/libpolymake-apps.so.4.11
/usr/lib/libpolymake.so
/usr/lib/polymake/lib/libpolymake-apps-rt.so
/usr/lib/polymake/lib/libpolymake-apps.so
/usr/share/doc/libpolymake-dev/changelog.Debian.gz
/usr/share/doc/libpolymake-dev/changelog.Debian.ppc64el.gz
/usr/share/doc/libpolymake-dev/changelog.gz
/usr/share/doc/libpolymake-dev/copyright
/usr/share/man/man1/polymake-config.1.gz