Unit 'libgmp'	Package
[Overview][Constants][Types][Procedures and functions][Variables][Index]	[#gmp]

GMPlibraryFileName

Declaration

Source position: libgmp.pp line 52

const GMPlibraryFileName = GMPExternal_library + '.so';