Log In
rpms
/
polymake
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History polymake-gcc5.patch
Branch:
65cfc706adf958cd082c200912ed5262e74a43d2
f18
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
master
65cfc706adf958cd082c200912ed5262e74a43d2
polymake-gcc5.patch
The 2.15 branch is not ready; go back to the latest 2.14 release.
Jerry James
• 5 years ago
cc3a73a
Add -gcc5 patch.
Jerry James
• 5 years ago
03cd0fc
