: / kunden / kunden / usr / lib / x86_64-linux-gnu / 

Filename : libgmpxx.a
back