View Single Post
Old 2020-12-24, 01:30   #3
Xyzzy
 
Xyzzy's Avatar
 
"Mike"
Aug 2002

24×499 Posts
Default

Is this the right information?

Debian 10
libgmp-dev
libgmp-dev_6.1.2+dfsg-4_amd64.deb


Fedora 33
gmp-devel.x86_64
gmp-6.2.0-5.fc33.src.rpm
Xyzzy is offline   Reply With Quote