Skip to content

[polymake] bump to 4.2 and add patch for sigint#1695

Merged
giordano merged 4 commits intoJuliaPackaging:masterfrom benlorenz:polymakeOct 9, 2020