PKGBUILDs/community/polymake
2018-01-24 13:56:54 +00:00
..
gcc7.patch community/polymake to 3.1-2 2017-06-06 12:26:37 +00:00
PKGBUILD community/polymake to 3.1-6 2018-01-24 13:56:54 +00:00
polymake-no-znow.patch community/polymake to 3.1-5 2017-12-04 13:46:31 +00:00