Singular/Sources — pull request #412 by malex984 (2013-11-05 21:17:22+00:00)
Title: Link against libgmp while using FLINT

Goal: avoid explicit libmpir in favor of libgmp since MPIR may be build in GMP-compatibility mode.